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