home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
hugs101.zip
/
hugs101sc.zip
/
hugsdist
/
demos
/
Prolog
/
stdlib
< prev
next >
Wrap
Text File
|
1995-02-14
|
493b
|
21 lines
This file contains a list of predicate definitions that will automatically
be read into Mini Prolog at the beginning of a session. Each clause in this
file must be entered on a single line and lines containing syntax errors are
always ignored. This includes the first few lines of this file and provides
a simple way to include comments.
append(nil,X,X).
append(cons(X,Y),Z,cons(X,W)):-append(Y,Z,W).
equals(X,X).
not(X):-X,!,false.
not(X).
or(X,Y):-X.
or(X,Y):-Y.
true.
End of stdlib