A.D.A. PROLOG
                        Top of memory < 502390
                  Workspace Available:   308 Kbytes
                  Workspace Permitted:   308 Kbytes
                   type ED (EDUCATIONAL VERSION)
                      Version 1.95D - 6/27/87
     Copyright Robert Morein and Automata Design Associates 1985
                  Dresher, Pa. (215) - 646-4894

?-consult soap.

Compiling soap.

Yes.
?-trace(jealous).

E: trace(jealous)

Yes.
?-jealous(Who).

C: jealous(Who_0)
C: loves(Who_0,B_2)
E: loves(phoebe,perry)
C: loves(C_3,perry)
E: loves(phoebe,perry)
C: not (phoebe = phoebe)
C: (phoebe = phoebe)
E: (phoebe = phoebe)
F: not (phoebe = phoebe)
R: loves(C_3,perry)
F: loves(C_3,perry)
R: loves(Who_0,B_2)
E: loves(jack,phoebe)
C: loves(C_3,phoebe)
E: loves(jack,phoebe)
C: not (jack = jack)
C: (jack = jack)
E: (jack = jack)
F: not (jack = jack)
R: loves(C_3,phoebe)
E: loves(lane,phoebe)
C: not (jack = lane)
C: (jack = lane)
F: (jack = lane)
Yes.
?-