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 among other things evaluation through full SLG resolution.
URLs from xsb.sourceforge.net:
URL: http://xsb.sourceforge.net
Queries: