Logic-based - Musharof Chy
Imperial College London: Logic and Artificial Intelligence
Department of Computing, Imperial College of Science, Technology and Medicine, University of London...
XSB
A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a...
XE
Resulting from the Exbed project, this general-purpose programming language supports data abstracti...
PC AI - Logic Programming
As part of a survey of information on artificial intelligence this section on logic programming is ...
Logic-Based Systems Lab
Department of Computer and Information Science, Brooklyn College of the City University of New York...
TyRuBa
Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD...
Axiomatic Language
A pure, minimal but extensible, logic-programming/specification language with meta-language capabil...
Dyna
A logic-based language for dynamic programming. Equational inference rules derive theorems with ass...
The World Wide Web Virtual Library: Logic Programming
Affiliated with the comp.lang.prolog newsgroup this repository includes general information, Prolog...
COMPULOG NET: Network of Excellence: NoE
Information on European ESPRIT Basic Research (funded) NoE, concerned with computational logic. Lar...
Xcerpt
A logic-based query and transformation language for XML and semistructured data.
The Maude System
Maude is a reflective language based on equational rewrite principles, useful for modeling and solv...