Path: utzoo!utgpu!watmath!clyde!att!rutgers!mailrus!wasatch!mantha
From: mantha@wasatch.UUCP (Surya Mantha)
Newsgroups: comp.lang.prolog
Subject: A problem
Message-ID: <648@wasatch.UUCP>
Date: 1 Dec 88 20:48:44 GMT
References: <770@quintus.UUCP>
Reply-To: mantha@wasatch.utah.edu.UUCP (Surya Mantha)
Organization: University of Utah CS Dept
Lines: 17

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