Sponsored Links:
KLIC Association (Popularity:  )
http://www.klic.org/
Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth ...
|
XSB (Popularity: )
http://xsb.sourceforge.net/
A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering ...
|
XE (Popularity: )
http://www.cs.hut.fi/~enu/exbed/xe.html
Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but ...
|
DBLP: Logic Programming (Popularity: )
http://www.informatik.uni-trier.de/~ley/db/conf/indexl.html
A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
|
The Maude System (Popularity: )
http://maude.cs.uiuc.edu/
Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ...
|
SampleTalk Language and programming technology (Popularity: )
http://sampletalk.8m.com/
Build a program immediately from data processing examples: AI language, simpler than Prolog, based on generalization and matching of unconstrained ...
|
PC AI - Logic Programming (Popularity: )
http://www.pcai.com/web/ai_info/logic_programming.html
As part of a survey of information on artificial intelligence this section on logic programming is provided.
|
Starlog (Popularity: )
http://www.cs.waikato.ac.nz/Research/starlog/index.html
Declarative temporal logic programming language for: general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components: a ...
|
Logic-Based Systems Lab (Popularity: )
http://www.sci.brooklyn.cuny.edu/~lbslab/
Department of Computer and Information Science, Brooklyn College of the City University of New York. Home of the 2LP Language, ...
|
TyRuBa (Popularity: )
http://tyruba.sourceforge.net/
Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented ...
|
What are Logic Programming and Prolog? (Popularity: )
http://www.biocheminfo.org/moirai/cs_magenta/prolog.html
Clear explanation of logic programming, and merits of declarative languages.
|
Journal of Logic Programming (Popularity: )
http://www.informatik.uni-trier.de/~ley/db/journals/jlp/
Unofficial bibliography and home page.
|
ALP (Popularity: )
http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/
The Association for Logic Programming promotes all activities concerning the theory and application of logic programming in computer science, related ...
|
Dyna (Popularity: )
http://www.dyna.org
A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports ...
|
DFKI: MAS Publications: Multi-Agent Systems (Popularity: )
http://www.dfki.de/mas/papers/
Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated ...
|
Elf Meta-Language (Popularity: )
http://www-2.cs.cmu.edu/~fp/elf.html
Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages ...
|
JICSLP'96 Workshop on Parallelism and Implementation Technology (Popularity: )
http://www.cs.nmsu.edu/lldap/jicslp96.html
Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages.
|
A Comparative Study of Eight Constraint Programming Languages (Popularity: )
http://www.comp.leeds.ac.uk/hill/Papers/abstracts/8Con.html
Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific aspect of ...
|
CLP(R) Compiler (Popularity: )
http://www.idiom.com/free-compilers/TOOL/CLP-1.html
Description and contact for runtime, compiler (byte-code), constraint solver; free for academic and research use.
|
OPBDP (Popularity: )
http://www.mpi-sb.mpg.de/units/ag2/software/opbdp/
Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer ...
|
