Deliverable-2

Install and experiment with smodels

  • I have installed smodels-2.33
  • The smodels is an implementation of stable model semantics for logic program.
  • The main front end is lparse
  • I have performed various experiment on smodels. I measured outputs of smodels for various logic programs.

Example-1

Rules: 
 
   a: b,c, not d , not e.
   b: a, not d.
   c: a, not b.

   Stable Model doesn't exist.

Example-2

Rules: 
   a: not b.
   b: not a.

   Stable Model doesn't exist.

Example-3

Rules: 
   b: not a.
   c: not b.

   Stable Model exists if all variables of the rules are true.

Example-4

Rules: 
   a: not b, not c.
   b: a.
   c: b.

   Stable Model doesn't exist.

Example-5

Rules : 
   a: c,d, not b.
   b: a, c.
   c: d, not c.

   Stable Model doesn't exist.