The XSB Programmer's Manual Version 1.7.1

Sagonas, K; Swift, T; Warren, D; Freire, J; Rao, P

dc.contributor.author	Sagonas, K	en
dc.contributor.author	Swift, T	en
dc.contributor.author	Warren, D	en
dc.contributor.author	Freire, J	en
dc.contributor.author	Rao, P	en
dc.date.accessioned	2014-03-01T01:42:28Z
dc.date.available	2014-03-01T01:42:28Z
dc.date.issued	1994	en
dc.identifier.uri	http://hdl.handle.net/123456789/23854
dc.subject	Top Down	en
dc.title	The XSB Programmer's Manual Version 1.7.1	en
heal.type	journalArticle	en
heal.publicationDate	1994	en
heal.abstract	Machine (WAM) whichserves as the engine of Prolog was redesigned to allow tabling. (The new engine is called the SLGWAM). While most WAM instructions were affected by the redesign, SLG-WAM execution is only10-20% slower than a WAM execution on a similar engine. Beyond the comparison with Prolog,our implementation strategy has several implications which may affect the user.First, XSB's evaluation is	en