home *** CD-ROM | disk | FTP | other *** search
/ back2roots/padua / padua.7z / padua / lang / gofer223.lha / demos / prolog / stdlib < prev    next >
Encoding:
Text File  |  1991-11-19  |  493 b   |  21 lines
  1. This file contains a list of predicate definitions that will automatically
  2. be read into Mini Prolog at the beginning of a session.  Each clause in this
  3. file must be entered on a single line and lines containing syntax errors are
  4. always ignored.  This includes the first few lines of this file and provides
  5. a simple way to include comments.
  6.  
  7. append(nil,X,X).
  8. append(cons(X,Y),Z,cons(X,W)):-append(Y,Z,W).
  9.  
  10. equals(X,X).
  11.  
  12. not(X):-X,!,false.
  13. not(X).
  14.  
  15. or(X,Y):-X.
  16. or(X,Y):-Y.
  17.  
  18. true.
  19.  
  20. End of stdlib
  21.