XSB: An Overview of its Use and Implementation

Warren, D; Sagonas, K; Swift, T

dc.contributor.author	Warren, D	en
dc.contributor.author	Sagonas, K	en
dc.contributor.author	Swift, T	en
dc.date.accessioned	2014-03-01T01:41:46Z
dc.date.available	2014-03-01T01:41:46Z
dc.date.issued	1993	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/23638
dc.subject	Data Modelling	en
dc.subject	Logic Programs	en
dc.subject	Well Founded Semantics	en
dc.title	XSB: An Overview of its Use and Implementation	en
heal.type	journalArticle	en
heal.publicationDate	1993	en
heal.abstract	Several features of the XSB Logic Programming System make it suitable as a databaseengine including: its foundation on SLG resolution, its efficiency for memory-residentqueries, and its flexibility for for data modelling. SLG resolution is a goal-directed resolutionstrategy that uses memoing and delay to compute the well-founded semantics forgeneral programs. In doing so, XSB eliminates problems with literal ordering and withredundant	en