🚀 go-pugleaf

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                            |                                   |
|------------------------------------------------------------------------|