The pilog trace can be helpful in these situations.
: (be bigger (me her))
: (be bigger (her son))
: (be bigger (son daughter))
: (be bigger (@x @y) (bigger @x @z) (bigger @z @y))
List the assertions you want to trace before the clause to be proved, in this
case bigger :
: (? bigger (bigger @x
--- On Sun, 7/8/12, Christophe Gragnic christophegrag...@gmail.com wrote:
: (be bigger (me her))
- bigger
: (be bigger (her son))
- bigger
: (be bigger (son daughter))
- bigger
: (be bigger (@x @y) (bigger @x @z) (bigger @z @y))
- bigger
: bigger
- NIL
: (? (bigger @x meily))
@x=alix