FOIL 6.4   [January 1996]
--------

    Options:
	verbosity level 0

Relation *dec

Relation *mult

Relation choose

----------
choose:

choose(A,B,C) :- dec(C,D), mult(A,B,E), mult(B,C,F), mult(B,D,D), mult(B,F,E).
choose(A,B,C) :- dec(A,D), dec(B,E), mult(B,C,F), choose(D,E,G), mult(A,G,F).

Time 1.7 secs