|
|
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 ...
|
|
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 ...
|
|
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 ...
|
|
|