kroe@sbcs.sunysb.edu (KiYun Roe) (10/22/90)
A prototype implementation of SB-HiLog is now available from SUNY Stony Brook via anonymous FTP. This implementation currently runs under Quintus Prolog and SB-Prolog. To retrieve the distribution, ftp to sbcs.sunysb.edu (130.245.1.15). Use "anonymous" for the login name, and your own login for the password (although I have found that "guest" works just as well). Then get pub/hilog/hilog.tar.Z (remember to use binary mode for the transfer). This is a compressed tar file that contains the contents of the hilog distribution directory. The files in that directory are the following: COPYING license and distribution information README this file hilog.doc how to run HiLog intro.tex an introduction to the HiLog language example.hl some HiLog examples hilog.pl HiLog to Prolog processor h_read.pl HiLog read h_write.pl HiLog write qhilog.pl top-level load file for Quintus Prolog sbhilog.pl top-level load file for SB-Prolog h_read h_read.pl compiled for SB-Prolog h_write h_write.pl compiled for SB-Prolog reconsult.pl implementation of reconsult/1 for SB-Prolog reconsult reconsult.pl compiled for SB-Prolog The HiLog system has been run successfully under Quintus Prolog release 2.4.2 on various Sun-3s with SunOS 3.4 and under SB-Prolog 3.0 on an SGI Iris 4D/120 with IRIX System V Release 3.3.1. You may report bugs and suggestions to kroe@sbcs.sunysb.edu. -- KiYun Roe kroe@sbcs.sunysb.edu Department of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 (516) 632-7675