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.
?-marriage_on_rocks(Whose).

Yes.
?-trace(marriage_on_rocks).

E: trace(marriage_on_rocks)

Yes.
?-marriage_on_rocks(Who).

C: marriage_on_rocks(Who_0)
C: married(Who_0,E_3)
E: married(jason,phoebe)
C: loves(jason,_)
E: loves(jason,_)
C: loves(phoebe,_)
E: loves(phoebe,_)
C: not loves(jason,phoebe)
C: loves(jason,phoebe)
F: loves(jason,phoebe)
E: not loves(jason,phoebe)
C: not loves(phoebe,jason)
C: loves(phoebe,jason)
F: loves(phoebe,jason)
Yes.
?-marriage_on_rocks(Person1,Person2).

C: marriage_on_rocks(Person1_0,Person2_1)
C: married(Person1_0,Person2_1)
E: married(jason,phoebe)
C: loves(jason,D_4)
E: loves(jason,eulalie)
C: not loves(jason,phoebe)
C: loves(jason,phoebe)
F: loves(jason,phoebe)
E: not loves(jason,phoebe)
C: loves(phoebe,_)
E: loves(phoebe,_)
C: not loves(phoebe,jason)
C: loves(phoebe,jason)
F: loves(phoebe,jason)
Yes.
?-