Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Re: not/2 logic implementation
0 views
Skip to first unread message
Message has been deleted
Chip Eastham
Sep 30, 2008, 7:52:02 PM9/30/08
to
On Sep 30, 3:01 pm, Chris Brat <chrisB...@gmail.com> wrote:
> Hi,
>
> I'm busy with an assignment where a code snippet contains a not/2
> relation but the supplied software (Amzi Prolog for Windows) doesn't
> seem to implement the not/2 relation.
>
> I haven't been able to find any API that describes the functionality
> of the relation and my book only explains the not/1 relation - can
> anyone explain the logic of the not/2 or give me a link where it is
> explained?
>
> Thanks.
> Chris
> Hi,
>
> I'm busy with an assignment where a code snippet contains a not/2
> relation but the supplied software (Amzi Prolog for Windows) doesn't
> seem to implement the not/2 relation.
>
> I haven't been able to find any API that describes the functionality
> of the relation and my book only explains the not/1 relation - can
> anyone explain the logic of the not/2 or give me a link where it is
> explained?
>
> Thanks.
> Chris
Hi, Chris:
Perhaps this is an older code snippet for a Prolog
implementation that allowed application of not/1 to
a compound goal X,Y. I.e. not( X and Y ) expressed
as not(X,Y)?
If so, you might try nesting a pair of parentheses:
not((X,Y)).
I've not tried it myself... yet!
regards, chip
0 new messages