home *** CD-ROM | disk | FTP | other *** search
/ CP/M / CPM_CDROM.iso / cpm / languags / prolog / epro23.ark / STD.PRO < prev    next >
Text File  |  1986-11-02  |  896b  |  34 lines
  1.  
  2. [Standard predicates for E-Prolog.        JULY 5, 1985 ]
  3.  
  4. [--  (EQ ?X ?Y)  means ?X and ?Y are equal expressions  ]
  5. ((EQ ?X ?X))
  6.  
  7. [--  (AND ?X1 ?X2 ?X3 ... )  means all succeed  ]
  8. ((AND ?X | ?rest) ?X (AND | ?rest))
  9. ((AND))
  10.  
  11. [--  (OR ?X1 ?X2 ?X3 ... )  means at least one succeeds
  12.          (attempts stop upon the first success)  ]
  13. ((OR ?X | ?rest) ?X)
  14. ((OR ?X | ?rest) (OR | ?rest))
  15.  
  16. [--  (NOT ?X)  succeeds if and only if  ?X  fails  ]
  17. ((NOT ?X) ?X (/) (FAIL))
  18. ((NOT ?X))
  19.  
  20. [--  (IF ?X ?Y ?Z)  is executed as: if ?X then ?Y else ?Z
  21.     ?Z  is optional  ]
  22. ((IF ?X ?Y | ?Z)
  23.     ?X (/) ?Y)
  24. ((IF ?X ?Y ?Z)
  25.     (/) ?Z)
  26. ((IF ?X ?Y))
  27.  
  28. [--  (IFF ?X ?Y)  succeeds if and only if both 
  29.            ?X and ?Y succeed or both fail  ]
  30. ((IFF ?X ?Y)
  31.     ?X (/) ?Y)
  32. ((IFF ?X ?Y)
  33.     (NOT ?Y))
  34.