Menu
Submit Site
Home
Computer
Programming
XSB
XSB
All Links
Website
Share this:
Details of XSB
About XSB
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.
Leda
Send feedback
submit