[mercury-users] boolean expressions OR goals? (in IF clauses)

[Goncalo Jorge Coelho e Silva]

Hi again,

highlighting the use of 'and' in if clauses
and the (supposedly '~' [not?]) on the following
code. Would this sample code be possible in mercury
with these issues? 

>>>> if {(Tag = "REF") and (Value = Address)}

sample 1:
--------

bind(HeapIn, HeapOut, AddressIn, RegistHashIn):-
         lookup(RegistHashIn, "h") = H,
         array__lookup(HeapIn, AddressIn, Tag),
         array__lookup(HeapIn, AddressIn+1, Value),
         (
         %if {(Tag = "REF") and (Value = Address)} then
         if {(Tag = "REF")} then
                 array__set(HeapIn, AddressIn+1, H, HeapOut)
         else
               HeapOut = HeapIn
         ).

and

>>>  if {(~(unify_aux(HeapIn, HeapOut, CounterIn1,CounterIn2,Arity))}


Sample 2:
---------

...
if {(Tag1 = "STR") and (Tag2 = "STR") and (FuncAri1 = FuncAri2)} then
                 CounterIn1 = D1+1, CounterIn2 = D2+1,
                 check_label(FuncAri,[Functor,Arity]),
                 (
                 if {(~(unify_aux(HeapIn, HeapOut, CounterIn1,CounterIn2,Arity))}
                          then Fail = 0
                          else
                             Fail = 1,
                             set(RegistHashIn,"fail", Fail) = RegistHashOut
                  )
...






Also, which one is the 'not equal' symbol?

=\= @tab after @tab xfx @tab 700 
\== @tab after @tab xfx @tab 700 
\= @tab after @tab xfx @tab 700 
~= @tab after @tab xfx @tab 700 


thanks,
Goncalo



--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------