pat@alberta.UUCP (Patrick Fitzsimmons) (01/26/88)
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 | |
|------------------------------------------------------------------------|