Minimal Model Tabling in Mercury

DSpace/Manakin Repository

Show simple item record

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 http://hdl.handle.net/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

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record