A problem

Article View: comp.lang.prolog

Article #3809

#3809

From: Surya Mantha
Date: Thu, 01 Dec 1988 20:48

17 lines
672 bytes

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

Technical Details

Message-ID: <648@wasatch.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watmath!clyde!att!rutgers!mailrus!wasatch!mantha

References: <770@quintus.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message