ehrlich@cs.psu.edu (Daniel Ehrlich) (09/14/89)
Are there any verification test suites available for SB-Prolog? I know about the benchmarks, but they are already compiled. I was looking for something to exercise the system a little more than these do. Any pointers would be appreciated. Thanks in advance. -- Dan Ehrlich <ehrlich@shire.cs.psu.edu> | Disclaimer: The opinions expressed are The Pennsylvania State University | my own, and should not be attributed Department of Computer Science | to anyone else, living or dead. University Park, PA 16802 |