CSE571 Sept 3, 2003


smodels use: lparse AnsPrologInputFile | smodels [number of stable models to be returned, 0  for all]

if no stable models are found false is returned, if no number of stable models is specified then only the firts stable model is returned.

smodels only accepts AnsProlog -not



dlv use: dlv [options] AnsPrologInputFile

dlv accepts AnsProlog or.



some very simple example programs where given.

-----------------------------
file1.sm

p :- a.
a :- b.
b.

which returned b a p in smodels

------------------------------
file2.sm

a :- not b.
b :- not a.

which returned two models in smodels, the first one being a, the second being b.

------------------------------
parent.sm

anc(X, Y) :- par(X, Z), anc(Z, Y), dom(X), dom(Y), dom(Z).
anc(X, Y) :- par(X, Y), dom(X), dom(Y).
par(a, b).
par(b, c).
par(c, d).
dom(a).
dom(b).
dom(c).
doc(d).
hide dom(X).

which returned par(c, d), par(b, c), par(a, b), anc(b, d), anc(b, c), anc(a, d), anc(a, c), anc(a, b) in smodels



the program lparse that passes it's output to smodels, grounds all the variabls in the program used as input.