home *** CD-ROM | disk | FTP | other *** search
/ rtsi.com / 2014.01.www.rtsi.com.tar / www.rtsi.com / OS9 / OSK / EFFO / forum7.lzh / RICO / S_PROLOG / PROG / readme < prev    next >
Text File  |  1988-09-26  |  263b  |  8 lines
  1.  
  2. setof.pl :        CProlog setof/bagof/sorting package (Public Domain)
  3. newlips.pl :    Misst Anzahl logical inferences per second (Lips),
  4.                 Aufruf einfach durch bench(4).
  5. benchmarks.pl :    Benchmark package von Fernando Pereira (Public Domain),
  6.                 Aufruf durch benches.
  7.  
  8.