×

Lparse

swMATH ID: 4633
Software Authors: Tommi Syrjänen
Description: Lparse Smodels works with variable-free programs that are quite cumbersome to generate by hand. Lparse is a front-end that adds variables (and a lot of other stuff) to the accepted language and generates a variable-free simple logic program that can be given to smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them into normal logic programs.
Homepage: http://www.tcs.hut.fi/Software/smodels/
Programming Languages: C++
Operating Systems: Windows 95/98
Dependencies: Borland C++ version 5.5
Keywords: smodel
Related Software: Gringo; ASSAT; MiniSat; Smodels; Cmodels; clasp; Clingo; Potassco; WASP; Clingcon; Chaff; NoMoRe; DLV; OntoDLV; spock; IDP3; ROSoClingo; SATzilla; oClingo; DLV-EX
Cited in: 42 Publications
Further Publications: http://www.tcs.hut.fi/Software/smodels/index.html#publications

Citations by Year