Computers » Programming » Languages » Logic-based	UPDATE INFO | REPORT BROKEN LINK
XSB	Popularity:    Hit: 666

Details:

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. URL: http://xsb.sourceforge.net/ Title: XSB Image: Description: Computers, Programming, Languages, Logic-based - 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. Similar:

Related Sites

TyRuBa (Popularity: ): Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented ... The Maude System (Popularity: ): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ... Dufflebunk's Home Page (Popularity: ): Funge-98 implementation in JavaScript.

Popular Sites

The Maude System (Popularity: ): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ... TyRuBa (Popularity: ): Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented ... XSB (Popularity: ): A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering ...