Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth Generation Computer Systems (FGCS) project, by Institute for New Generation Computer Technology (ICOT), Japan. Free software.
A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other things evaluation through full SLG resolution.
A logic-based query and transformation language for XML and semistructured data.
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 of CLU.
A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
Affiliated with the comp.lang.prolog newsgroup this repository includes general information, Prolog, Window system interfaces, other logic-programming systems, meetings, books and related information.
Forum for exchange of information on the area of logic programming (LP) and nonmonotonic reasoning (NR): questions in LP related to NR, and in aspects of NR that bear directly on LP: definitions, links to software and related sites.
Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
This open-source language licensed under GPL is a superset of Java with Prolog-like extensions.
Build a program immediately from data processing examples: AI language, simpler than Prolog, based on generalization and matching of unconstrained text processing samples.