
|
84799 packages online
|
|
 |
|
|
|
No screenshot available
|
|
Volume 2 of the 2 volume Stony Brook Prolog (SBP) distribution, version
2.3.2. This volume contains the C and Prolog source code. Volume 1, on
disk 140, contains the executables and libraries. From the SB-Prolog
System, Version 2.2 User Manual: "SB-Prolog is a public-domain Prolog
system for Unix(tm) based systems originally developed at SUNY, Stony
Brook. The core of the system is an emulator, written in C for
portability, of a Prolog virtual machine that is an extension of the Warren
Abstract Machine. The remainder of the system, including the translator
from Prolog to the virtual machine instructions, is written in Prolog." In
addition to providing a compiler, SB-Prolog also offers advanced features
such as dynamic loading, mixing of compiled and interpreted code, macros,
extension tables, a debugging facility offering two levels of tracing,
profiling tools, and other utilities.
|
Contents of dev/lang/SBProlog.lha
PERMSSN UID GID PACKED SIZE RATIO CRC STAMP NAME
---------- ----------- ------- ------- ------ ---------- ------------ -------------
[generic] 300 974 30.8% -lh5- cb6e May 15 1988 SBProlog.info
[generic] 34 34 100.0% -lh0- 8e28 May 15 1988 SBProlog/.info
[generic] 151558 151558 100.0% -lh0- d025 May 15 1988 SBProlog/c_source.zoo
[generic] 296693 296693 100.0% -lh0- 9c4e May 15 1988 SBProlog/lib_src&bmarks.zoo
[generic] 487 885 55.0% -lh5- 1d95 May 15 1988 SBProlog/README
[generic] 200 295 67.8% -lh5- 9ed1 May 15 1988 SBProlog/README.fnf
[generic] 437 2566 17.0% -lh5- dc38 May 15 1988 SBProlog/README.fnf.info
[generic] 441 2566 17.2% -lh5- 6744 May 15 1988 SBProlog/README.info
[generic] 73530 73530 100.0% -lh0- 0954 May 15 1988 SBProlog/roff_doc.zoo
[generic] 20534 35668 57.6% -lh5- f3a7 May 15 1988 SBProlog/zoo
[generic] 7577 28125 26.9% -lh5- d721 May 15 1988 SBProlog/zoo.man
---------- ----------- ------- ------- ------ ---------- ------------ -------------
Total 11 files 551791 592894 93.1% May 15 1988
|
|
|
 |
Page generated in 0.02 seconds |
Aminet © 1992-2024 Urban
Müller and the Aminet team.
Aminet contact address: <aminet aminet net> |