[comp.lang.prolog] A problem

mantha@wasatch.UUCP (Surya Mantha) (12/02/88)

This maybe simple, but I am stuck. Would appreciate any pointers.

Consider the following definite program.

p(f(X)) if  p(X).

q(a) if p(X).

q(f(X)) if q(X).

Construct a non-Herbrand model for the completion of the above program.

Please reply to mantha@cs.utah.edu

thanks a pile
surya