XSB Prolog

Advanced Logic Programming System

XSB Prolog is based on the first, and still the most popular logic programming language – Prolog – which has been widely used in artificial intelligence and natural language processing systems since it was developed in 1972.   

XSB Prolog extends the advanced logic-based programming environment of Prolog with the declarativeness and data management capabilities of a deductive database system.  XSB Prolog contains grammar-processing capabilities and automatic tabling which makes it ideal for text-processing applications, including the extraction of semantic information from text.  XSB Prolog also incorporates excellent indexing mechanisms to allow it to efficiently process large data sets. This unique combination makes XSB the ideal platform for developing complex knowledge-based software applications, such as those commercialized by XSB, Inc.  XSB Prolog includes the Coherent Description Framework (CDF) package that supports scalable representation and implementation of complex ontologies such as those proposed by the World Wide Web Consortium (W3C) to provide the foundation for the Semantic Web.  This technology has provided the basic platform for large-scale systems implemented for the United States Defense Logistics Agency, the United States Customs Service, the United States General Services Administration and several Multi-National Corporations in the Aerospace and Defense Sector.

XSB Prolog is the result of more than 25 years of focused research, development, and collaboration by students and faculty at the State University of New York at Stony Brook with contributions from the open-source community.  XSB, Inc.  Vice President of Sciences, Dr. David S. Warren has led the development of XSB Prolog.  

XSB Prolog is an open source system freely available from xsb.sourceforge.net.