home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / peter / SVT / OpenProlog

Text (3)
NameFormat# LinesSizeDate
README Text File 16 513b 1999-04-04
tautology.prolog Text File 80 2KB 1999-04-04
wang.prolog Text File 142 4KB 1999-04-04