logical operators 
Author Message
 logical operators

can somebody write down a quick explanation
for each of the following operators:

'=', '==', '=:=', '\='. '\==', '=\='

thanks, you help is much appreciated!

--

       home: http://www.*-*-*.com/ ~colin/
 public key: http://www.*-*-*.com/ ~colin/pubkey.asc
fingerprint: 1AD0 91ED B77A CC2B 87B1  4E51 012B 4BD2 8DC9 D62C



Fri, 04 Jun 2004 06:51:03 GMT  
 logical operators

Quote:

> can somebody write down a quick explanation
> for each of the following operators:

> '=', '==', '=:=', '\='. '\==', '=\='

Such explanations ahve been written out too often already.
Go to http://www.clip.dia.fi.upm.es/Software/Ciao/ciao_html/ciao_toc.html.
It has an online manual for CIAO and it contains Prolog. At the bottom of that
page there is a Global Index link that makes it easy to find any builtin
you want explanation about. If you find it not helpful, nag the CIAO team :-)

Bart Demoen



Fri, 04 Jun 2004 15:22:13 GMT  
 logical operators

Quote:

> can somebody write down a quick explanation
> for each of the following operators:

> '=', '==', '=:=', '\='. '\==', '=\='

> thanks, you help is much appreciated!

> --

From GNU Prolog documentation

'=' prolog unification
'\=' not unifiable (X \= Y :- not(X=Y). )
'==' terms are equals (but doesnot the unification)
'==' terms are not equals
'=:=' arithmetic equal
'=\=' not arithmetic equal

Jean Michel LECONTE



Fri, 04 Jun 2004 19:33:17 GMT  
 
 [ 3 post ] 

 Relevant Pages 

1. Overloading logical operators and bitwise operators

2. Q: Names of logical operators

3. Logical Operators

4. Spelt logical operators

5. Logical Operators

6. Logical operators with bitmasks

7. quicksim can't find logical operators

8. Logical operator in IEEE1076.3

9. Symbols for Logical Operators

10. Have Fortran logical operator?

11. integers and bit-wise logical operators; examples please

12. Mixing logical operators

 

 
Powered by phpBB® Forum Software