Search for
Home > Computers > Programming > Languages >

Logic-based
New! Submit a site
 
whatUseek Directory Site Listings:
 
XE - Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but is not a formal extension of CLU.
 
XSB - XSB is 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.
 
 

[ 1 2 ]
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek