Programmin­g

Lua Programming Language Lua Programming Language- Growing article, with links to many related topics. Wikipedia. Programming in Lua Programming in Lua- By Roberto Ierusalimschy; Lua.org, 2003, ISBN 8590379817. Official book, by Lua's main architect, covers all aspects, from basics to API with C; gives solid ba… Lua Programming Language Lua Programming Language- Home site; lightweight, made to extend programs, often used for general-purpose, standalone use; simple procedural syntax, powerful data description cons… Lua-users.org Lua-users.org- Wiki, collaborative site for programmers; Lua-l archive, searchable body of official Lua mail list; IRC channel chat room; mini charter. Lua: An Extensible Extension Language Lua: An Extensible Extension Language- Overview from journal, by Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho; Software: Practice and Experience, John … Lua FAQ Lua FAQ- Frequently Asked Questions about Lua Lua Reference Manual Lua Reference Manual- Reference Manual of the Lua programming language First Steps in Programming in Lua First Steps in Programming in Lua- Short presentation on the language, examples with source code and output; syntax diagram available as PDF. English, Deutsch. Informal introduction to Starlog Informal introduction to Starlog- Declarative temporal logic programming language for: general purpose programming, simulation, modeling reactive systems. Starlog programs consist… ALP ALP- The Association for Logic Programming promotes all activities concerning the theory and application of logic programming in computer science, related disciplines and industry… LPNMR Conferences LPNMR Conferences- Conferences of the Special Interest Group on Logic Programming and Non-Monotonic Reasoning. Journal of Logic Programming Journal of Logic Programming- Unofficial bibliography and home page. DBLP: Logic Programming DBLP: Logic Programming- A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects. The Maude System The Maude System- Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems. Xcerpt Xcerpt- A logic-based query and transformation language for XML and semistructured data. COMPULOG NET: Network of Excellence: NoE COMPULOG NET: Network of Excellence: NoE- Information on European ESPRIT Basic Research (funded) NoE, concerned with computational logic. Large community of European researchers, … The World Wide Web Virtual Library: Logic Programming The World Wide Web Virtual Library: Logic Programming- Affiliated with the comp.lang.prolog newsgroup this repository includes general information, Prolog, Window system interface… Dyna Dyna- A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports prioritizat… Axiomatic Language Axiomatic Language- A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates… TyRuBa TyRuBa- Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented in Java and pro… Logic-Based Systems Lab Logic-Based Systems Lab- Department of Computer and Information Science, Brooklyn College of the City University of New York. Home of the 2LP Language, runs on Linux, RS6000, SGI,… PC AI - Logic Programming PC AI - Logic Programming- As part of a survey of information on artificial intelligence this section on logic programming is provided. XE XE- Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but is not a formal extension … XSB XSB- A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among oth… Imperial College London: Logic and Artificial Intelligence Imperial College London: Logic and Artificial Intelligence- Department of Computing, Imperial College of Science, Technology and Medicine, University of London: research group on … History of Lisp History of Lisp- Source code, design documents, references, other material on original Lisp I/1.5 system, and many follow-ons. Project of Computer History Museum's Software Collec… Readable S-expressions and Sweet-expressions: Getting the Infix Fix and Fewer Parentheses in Lisp-like Languages Readable S-expressions and Sweet-expressions: Getting the Infix Fix and Fewer Parentheses in Lisp-like Languages- Proposal to replace pure S-expressions with more flexible mixed a… Lisp Programming Language Lisp Programming Language- Growing article, with links to many related topics. [Wikipedia] Kent Pitman's Public Page Kent Pitman's Public Page- Publications, postings (mostly Lisp related); political thoughts, links. Jeff's Lisp Page Jeff's Lisp Page- Related links about Lisp, papers, book reviews, programs, Net articles, from a variety of sources. Lisp Lisp- Paul Graham Lisp essays (including Beating the Averages), history, FAQ, code, many links. P.S., Parenthetically Speaking P.S., Parenthetically Speaking- Set of articles on several aspects of Lisp and related issues. Association of Lisp Users: ALU Association of Lisp Users: ALU- Well organized, over 100 pages of information on Lisp: references, books, tutorials, free and commercial implementations, free software, events, co… Online Publications by Erann Gat Online Publications by Erann Gat- Lisp papers: Lisp as an Alternative to Java; Complete Idiot's Guides to: Special Variables and Lexical Closures, CL Packages; Locales: First-Clas… Common-Lisp.net Common-Lisp.net- CL development resources, good start point for new programmers. Free: CVS, mail lists, web and FTP space. Hello, World Program Hello, World Program- Lisp version of this canonical first program. PC AI: Lisp Programming Language PC AI: Lisp Programming Language- Page with brief description, very useful links with annotations for vendors, search engines, more: references (linked and non-linked) for article… Gordon S. Novak Jr. Gordon S. Novak Jr.- Free software, information, links. Franz Inc. Franz Inc.- Producers of Allegro CL and related products CMU Artificial Intelligence Repository CMU Artificial Intelligence Repository- Collection of files, programs, publications, of interest to Artificial Intelligence researchers, educators, students, practitioners. Programming in Limbo Programming in Limbo- A very old Byte Magazine article introducing Limbo's concurrent programming. Limbo profilers Limbo profilers- Description of the tools and techniques available for profiling Limbo programs. A Descent into Limbo A Descent into Limbo- A brief introduction to the limbo Limbo language and Inferno environment by Brian W. Kernighan. Inferno Application Programming Inferno Application Programming- Overview of the Limbo language and an introduction to application programming in Inferno. The Limbo Programming Language The Limbo Programming Language- Detailed description of the language by Dennis M. Ritchie. 99 Bottles of Beer on the Wall 99 Bottles of Beer on the Wall- Limbo version. Limbo Programming Language Limbo Programming Language- Growing article, with links to many related topics. Wikipedia. Leda Programming Language Leda Programming Language- Multiparadigm language, by Timothy Budd, creator of Little Smalltalk, Oregon State University. Combines procedural (imperative), object-oriented, logic,… Multiparadigm Programming in Leda Multiparadigm Programming in Leda- By Timothy Budd; Addison-Wesley, 1994, ISBN 0201820803. First book on such programming. Many short chapters, easy to read, shows how unique feat… The Leda Programming Language The Leda Programming Language- Bug reports, book information, technical reports.