Tags: Programming Language.

XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven the New University of Lisbon Uppsala University and software vendor XSB Inc.XSB extends Prolog with tabled resolution and HiLog (a standard extension of Prolog permitting limited higher-order logic programming).The open source XSB implementation includes an interface to the Java programming language.

Loading...

This page contains content from the copyrighted Wikipedia article "XSB"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.