users-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Avoiding unification equality / from variable to atom


From: Pedro Fialho
Subject: Avoiding unification equality / from variable to atom
Date: Fri, 27 Aug 2010 00:05:37 +0000 (UTC)
User-agent: Loom/3.14 (http://gmane.org/)

Hi all,

Here I present a simple case which describes my problem:

| ?-  memberchk(rel(_,A,_),[rel(de,B,C),rel(para,C,D)]).
B = A

yes
| ?- 

I'd like this memberchk/2 call to answer "No", stated that the
content on the list argument is unknown and as such the A \== B 
constraint it's not available.

Is there a way to avoid unification/equality between variables?
Or a translator from variable to atom (uppercase to lowercase)?

Any hints?


Greetings,
Peter




reply via email to

[Prev in Thread] Current Thread [Next in Thread]