New Sites - Main » Computers » Programming » Languages » Logic-based
TyRuBa(27th April, 2005): 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 provides a simple command-line interface.
The Maude System(27th April, 2005): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
XSB(27th April, 2005): 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.
Top Sites - Main » Computers » Programming » Languages » Logic-based
The Maude System (): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
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 provides a simple command-line interface.
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 other things evaluation through full SLG resolution.