Logiweb(TM)

7.3.5 Relations

Prev Up Next Page 180 of 800 Search internet


The base page defines the following predicates related to pairs:

x pairp [x pairp] True if x is a pair.

x atom [x atom] True if x is not a pair.

Some examples read

<< 1 ,, 2 >> pairp == true

<< 1 ,, 2 >> atom == false

2 pairp == false

2 atom == true

true pairp == false

true atom == true

<<>> pairp == false

<<>> atom == true

exception pairp == exception

exception atom == exception

bottom pairp == bottom

bottom atom == bottom

Prev Up Next Page 180 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05