SB-Prolog on IBM RTs (again)

Article View: comp.lang.prolog

Article #322

#322

From: Daniel Ehrlich
Date: Thu, 14 Sep 1989 15:24

9 lines
964 bytes

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            |

Technical Details

Message-ID: <EHRLICH.89Sep14102409@shire.cs.psu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!brutus.cs.uiuc.edu!psuvax1!psuvax1!ehrlich

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!brutus.cs.uiuc.edu!psuvax1!psuvax1!ehrlich
From: ehrlich@cs.psu.edu (Daniel Ehrlich)
Newsgroups: comp.lang.prolog
Subject: SB-Prolog on IBM RTs (again)
Message-ID: <EHRLICH.89Sep14102409@shire.cs.psu.edu>
Date: 14 Sep 89 15:24:09 GMT
Sender: news@psuvax1.cs.psu.edu
Organization: Computer Science Department, Penn State University
Lines: 9