Minimal Model Tabling in Mercury

Somogyi, Z; Sagonas, K

dc.contributor.author	Somogyi, Z	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T01:54:17Z
dc.date.available	2014-03-01T01:54:17Z
dc.date.issued	2005	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/27285
dc.relation.uri	http://user.it.uu.se/~kostis/Papers/mm_merc.pdf	en
dc.subject	Minimal Model	en
dc.title	Minimal Model Tabling in Mercury	en
heal.type	journalArticle	en
heal.publicationDate	2005	en
heal.abstract	Prolog systems such as XSB have proven that tabling can be quite helpful in a variety of tasks, especially if it is efficiently implemented and fully integr ated in the language. Implementing tabling in Mer- cury poses special challenges for several reasons. First, Mercury is both semantically and culturally quite different from Prolog. While decreeing that tabled predicates must not	en