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)

Name	Format	# Lines	Size	Date
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