TCS / Research / Publications / Implementation of Local Grounding for Logic Programs With Stable Model Semantics
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Implementation of Local Grounding for Logic Programs With Stable Model Semantics

Reference:

Tommi Syrjänen. Implementation of local grounding for logic programs with stable model semantics. Technical Report B18, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1998.

Abstract:

The aim of this work is to define a new class of logic programs, strongly range restricted logic programs, and to design and implement an efficient algorithm for grounding them locally. A grounding transforms a function-free logic program into an equivalent ground logic program. A grounding is local if can be done one rule at a time. The implementation works with smodels, an implementation for stable model semantics for normal logic programs which is developed at Helsinki University of Technology. The implementation is compared with old grounder of smodels and dlv, a knowledge representation system developed at Vienna University of Technology.

Keywords:

logic programming, stable models, smodels, grounding

Suggested BibTeX entry:

@techreport{HUT-TCS-B18,
    address = {Espoo, Finland},
    author = {Tommi Syrj{\"a}nen},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {October},
    number = {B18},
    pages = {40},
    title = {Implementation of Local Grounding for Logic Programs With Stable Model Semantics},
    type = {Technical Report},
    year = {1998},
}

PostScript (508 kB)
GZipped PostScript (157 kB)

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.