Xref: utzoo comp.lang.prolog:525 comp.lang.misc:1013 comp.ai:1293 comp.sys.ibm.pc:11217 comp.sys.misc:1077 comp.sources.wanted:3150 comp.misc:1800
Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!lll-tis!ames!rutgers!mtune!whuts!homxb!ihnp4!alberta!pat
From: pat@alberta.UUCP (Patrick Fitzsimmons)
Newsgroups: comp.lang.prolog,comp.lang.misc,comp.ai,comp.sys.ibm.pc,comp.sys.misc,comp.sources.wanted,comp.misc
Subject: Do you consider yourself a TURBO PROLOG expert?
Message-ID: <282@cavell.UUCP>
Date: 26 Jan 88 00:30:30 GMT
Reply-To: pat@alberta.UUCP
Followup-To: comp.lang.prolog
Organization: U. of Alberta, Edmonton, AB
Lines: 39
Keywords: AI turbo prolog help WUP


If so, then I need your help.

I am a new Turbo Prolog user having great difficultly trying
to implement a prolog program in Turbo Prolog.   The program works
fine in other prologs.  My problem is in the DOMAINS sections trying
to get it to accept what I put.  I thought that a more experienced
user may be able to offer some help.

Don't ask why I am using Turbo Prolog, I really don't want to but I
must.  To expand on my problem a bit, I currently have in the DOMAINS
section:

entry = symbol ;
        n(entry)
list  = entry*

The n(entry) is meant to represent NOT entry.

I have a negate predicate defined as:

negate(n(G), G) :-
      ne(n(_), G).
negate(G, n(G)) :-
      ne(n(_), G).
ne(X, Y) :-
      not(X = Y).

P.S. Sorry if I have posted this to an inappropriate newsgroup.
     Please send responses my e-mail and I will summarize in
	 comp.lang.prolog if there is enough interest.


|------------------------------------------------------------------------|
| Patrick Fitzsimmons                | pat@alberta.UUCP                  |
| Computing Science Department       |                                   |
| University of Alberta              |                                   |
| Edmonton, Alberta                  |                                   |
| T6G 2H1                            |                                   |
|------------------------------------------------------------------------|