Index of /geminiatari/FILES/LANGUAGE/SBPROLOG
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory 24-Sep-2006 15:35 -
![[TXT]](/icons/text.gif)
ACCESS 23-Oct-1993 03:43 1k
ACCESS.P 23-Oct-1993 03:43 1k
ARITH.C 23-Oct-1993 03:44 4k
AUX_.C 23-Oct-1993 03:44 1k
AUX_.H 23-Oct-1993 03:44 6k
BENCH 23-Oct-1993 03:43 3k
BENCH.P 23-Oct-1993 03:43 40k
BUFFER.C 23-Oct-1993 03:44 34k
![[VID]](/icons/movie.gif)
BUILTIN 23-Oct-1993 03:44 133k
BUILTIN.C 23-Oct-1993 03:44 1k
BUILTIN.H 23-Oct-1993 03:44 3k
CALL_REF 23-Oct-1993 03:43 1k
CALL_REF.P 23-Oct-1993 03:43 2k
CATF 23-Oct-1993 03:43 1k
CHANGES 23-Oct-1993 03:43 1k
COMPARE.C 23-Oct-1993 03:44 4k
DIS.C 23-Oct-1993 03:44 3k
DISPATCH.C 23-Oct-1993 03:44 7k
DYNAMIC 23-Oct-1993 03:43 1k
DYNAMIC.P 23-Oct-1993 03:43 1k
EMODE 23-Oct-1993 03:43 2k
EMODE.P 23-Oct-1993 03:43 2k
ERRNO 23-Oct-1993 03:43 1k
ERRNO.P 23-Oct-1993 03:43 1k
EVALEXP.C 23-Oct-1993 03:44 10k
FILE.C 23-Oct-1993 03:44 10k
FLAGS 23-Oct-1993 03:43 1k
FLAGS.P 23-Oct-1993 03:43 1k
FLOAT.C 23-Oct-1993 03:44 4k
GC.C 23-Oct-1993 03:44 16k
INDEX 23-Oct-1993 03:43 1k
INDEX.P 23-Oct-1993 03:43 2k
INIT 23-Oct-1993 03:43 1k
INIT.C 23-Oct-1993 03:44 8k
INIT_BRA.C 23-Oct-1993 03:44 6k
INST.H 23-Oct-1993 03:44 7k
IO.C 23-Oct-1993 03:44 4k
LOADER.C 23-Oct-1993 03:44 21k
LOAD_WOR.C 23-Oct-1993 03:44 11k
MAIN.C 23-Oct-1993 03:44 43k
MAKEALL 23-Oct-1993 03:43 2k
MAKEFILE 23-Oct-1993 03:44 2k
MAKEFILE._ 23-Oct-1993 03:44 2k
META.C 23-Oct-1993 03:44 3k
MODE 23-Oct-1993 03:43 2k
MODE.P 23-Oct-1993 03:43 2k
NAME.C 23-Oct-1993 03:44 3k
NODYNLOA.D 23-Oct-1993 03:43 1k
NODYNLOA.P 23-Oct-1993 03:43 1k
NREV 23-Oct-1993 03:43 1k
NREV.P 23-Oct-1993 03:43 1k
NREV_P.ASL 23-Oct-1993 03:43 4k
OP 23-Oct-1993 03:43 1k
OP.P 23-Oct-1993 03:43 1k
OTHER.C 23-Oct-1993 03:44 10k
PARSE_OP.C 23-Oct-1993 03:44 3k
PRINT_IN.C 23-Oct-1993 03:44 6k
PUBLIC 23-Oct-1993 03:43 1k
PUBLIC.P 23-Oct-1993 03:43 1k
RESTORE 23-Oct-1993 03:43 1k
RESTORE.P 23-Oct-1993 03:43 1k
SAVE 23-Oct-1993 03:43 1k
SAVE.P 23-Oct-1993 03:43 1k
SAVEREST.C 23-Oct-1993 03:44 5k
![[ ]](/icons/unknown.gif)
SBPROLOG.ME 23-Oct-1993 03:44 148k
SBPROLOG.TTP 23-Oct-1993 03:44 118k
SIM.H 23-Oct-1993 03:44 5k
SIMDEF.H 23-Oct-1993 03:44 3k
SOCKETS 23-Oct-1993 03:43 5k
SOCKETS.P 23-Oct-1993 03:43 7k
STLOOKUP.C 23-Oct-1993 03:44 3k
STRUCTUR.C 23-Oct-1993 03:44 6k
SUBSTUFF.C 23-Oct-1993 03:44 2k
SUBSUMES 23-Oct-1993 03:43 1k
SUBSUMES.P 23-Oct-1993 03:43 1k
SUB_INST.C 23-Oct-1993 03:44 4k
SYSCALL.C 23-Oct-1993 03:44 1k
SYSCALL.H 23-Oct-1993 03:44 3k
TERM_EXP.ANS 23-Oct-1993 03:43 1k
TERM_EXP.P 23-Oct-1993 03:43 1k
THREAD.C 23-Oct-1993 03:44 1k
TIME.C 23-Oct-1993 03:44 3k
TIO.C 23-Oct-1993 03:44 2k
TOKEN.C 23-Oct-1993 03:44 33k
UNIFY.C 23-Oct-1993 03:44 6k
_ALLOCTV.P 23-Oct-1993 03:43 6k
_ARITH 23-Oct-1993 03:43 3k
_ARITH.P 23-Oct-1993 03:43 3k
_ASM1.P 23-Oct-1993 03:43 8k
_ASMPASS.P 23-Oct-1993 03:43 5k
_ASSERT 23-Oct-1993 03:43 7k
_ASSERT.P 23-Oct-1993 03:43 11k
_AUX1.P 23-Oct-1993 03:43 3k
_BIO 23-Oct-1993 03:43 2k
_BIO.P 23-Oct-1993 03:43 2k
_BLIST 23-Oct-1993 03:43 1k
_BLIST.P 23-Oct-1993 03:43 2k
_BMETA 23-Oct-1993 03:43 1k
_BMETA.P 23-Oct-1993 03:43 2k
_BUFF 23-Oct-1993 03:43 2k
_BUFF.P 23-Oct-1993 03:43 3k
_BUILTIN.P 23-Oct-1993 03:43 2k
_CALL 23-Oct-1993 03:43 2k
_CALL.P 23-Oct-1993 03:43 2k
_COMPARE 23-Oct-1993 03:43 1k
_COMPARE.P 23-Oct-1993 03:43 2k
_COMPILE 23-Oct-1993 03:43 174k
_COMPILE.P 23-Oct-1993 03:43 9k
_COMPUTI.P 23-Oct-1993 03:43 6k
_COND1.P 23-Oct-1993 03:43 3k
_CONSULT 23-Oct-1993 03:43 3k
_CONSULT.P 23-Oct-1993 03:43 5k
_CONVRHS.P 23-Oct-1993 03:43 6k
_CURRSYM 23-Oct-1993 03:43 12k
_CURRSYM.P 23-Oct-1993 03:43 8k
_DB 23-Oct-1993 03:43 14k
_DB.P 23-Oct-1993 03:43 17k
_DBCMPL 23-Oct-1993 03:43 21k
_DBCMPL.P 23-Oct-1993 03:43 19k
_DCG 23-Oct-1993 03:43 4k
_DCG.P 23-Oct-1993 03:43 4k
_DEB 23-Oct-1993 03:43 13k
_DEB.P 23-Oct-1993 03:43 11k
_DECOMPI.LE 23-Oct-1993 03:43 23k
_DECOMPI.P 23-Oct-1993 03:43 21k
_DEFINT 23-Oct-1993 03:43 3k
_DEFINT.P 23-Oct-1993 03:43 5k
_ET 23-Oct-1993 03:43 15k
_ET.P 23-Oct-1993 03:43 14k
_EVAL1.P 23-Oct-1993 03:43 6k
_EXISTS 23-Oct-1993 03:43 1k
_EXISTS.P 23-Oct-1993 03:43 1k
_FACTOR1.P 23-Oct-1993 03:43 7k
_FLATTEN.P 23-Oct-1993 03:43 4k
_FUNREL 23-Oct-1993 03:43 5k
_FUNREL.P 23-Oct-1993 03:43 4k
_GENINLI.P 23-Oct-1993 03:43 10k
_GETCLAU.P 23-Oct-1993 03:43 4k
_GETCLAU.SES 23-Oct-1993 03:43 4k
_GLOB 23-Oct-1993 03:43 2k
_GLOB.P 23-Oct-1993 03:43 4k
_INDEX1.P 23-Oct-1993 03:43 6k
_INIT_SY.P 23-Oct-1993 03:43 8k
_INIT_SY.S 23-Oct-1993 03:43 6k
_INLINE1.P 23-Oct-1993 03:43 2k
_INLINES 23-Oct-1993 03:43 4k
_INLINES.P 23-Oct-1993 03:43 3k
_INPROG1.P 23-Oct-1993 03:43 3k
_INST1.P 23-Oct-1993 03:43 6k
_IO 23-Oct-1993 03:43 7k
_IO.P 23-Oct-1993 03:43 5k
_LISTUTI.L1 23-Oct-1993 03:43 3k
_LISTUTI.P 23-Oct-1993 03:43 3k
_MAC 23-Oct-1993 03:43 17k
_MAC.P 23-Oct-1993 03:43 13k
_META 23-Oct-1993 03:43 1k
_META.P 23-Oct-1993 03:43 2k
_NAME 23-Oct-1993 03:43 4k
_NAME.P 23-Oct-1993 03:43 4k
_NORMVAR.P 23-Oct-1993 03:43 6k
_O.P 23-Oct-1993 03:43 4k
_OF 23-Oct-1993 03:43 6k
_OPCODE 23-Oct-1993 03:43 6k
_OPCODE.P 23-Oct-1993 03:43 6k
_OSYS 23-Oct-1993 03:43 1k
_OSYS.P 23-Oct-1993 03:43 1k
_PEEPHOL.P 23-Oct-1993 03:43 14k
_PORTRAY 23-Oct-1993 03:43 6k
_PORTRAY.P 23-Oct-1993 03:43 5k
_PRAG 23-Oct-1993 03:43 2k
_PRAG.P 23-Oct-1993 03:43 3k
_PREPROC.P 23-Oct-1993 03:43 11k
_PROCARG.P 23-Oct-1993 03:43 4k
_PROCCLP.P 23-Oct-1993 03:43 3k
_PROCOCC.P 23-Oct-1993 03:43 6k
_PROCVAR.P 23-Oct-1993 03:43 5k
_PROF 23-Oct-1993 03:43 21k
_PROF.P 23-Oct-1993 03:43 16k
_PRORC 23-Oct-1993 03:43 21k
_PRORC.P 23-Oct-1993 03:43 8k
_READ 23-Oct-1993 03:43 14k
_READ.P 23-Oct-1993 03:43 18k
_READLOO.P 23-Oct-1993 03:43 13k
_READ_CU.P 23-Oct-1993 03:43 3k
_READ_CU.RR_ 23-Oct-1993 03:43 2k
_RECORD 23-Oct-1993 03:43 3k
_RECORD.P 23-Oct-1993 03:43 3k
_RETR 23-Oct-1993 03:43 3k
_RETR.P 23-Oct-1993 03:43 4k
_SETOF 23-Oct-1993 03:43 9k
_SETOF.P 23-Oct-1993 03:43 18k
_STATIST.ICS 23-Oct-1993 03:43 2k
_STATIST.P 23-Oct-1993 03:43 2k
_TARGLIS.P 23-Oct-1993 03:43 4k
_TCOND1.P 23-Oct-1993 03:43 6k
_TINDEX1.P 23-Oct-1993 03:43 5k
_TPROG1.P 23-Oct-1993 03:43 16k
_TRANSLA.P 23-Oct-1993 03:43 4k
_VERSION 23-Oct-1993 03:43 1k
_VERSION.P 23-Oct-1993 03:43 1k
This directory contains some small benchmarks, viz.
- the naive reverse benchmark
- Fernando Pereira's benchmark suite.
(1) Naive Reverse:
Files: nrev.P - Prolog source
nrev.P.asl - WAM instructions produced by
SB-Prolog compiler
nrev - byte code "object" file
To execute: start up SB-Prolog and enter
?- load('nrev').
?- bench(500). /* or any other reasonable number */
WARNING: Naive reverse is the classical benchmark for
computing "LIPS" (Logical Inferences Per Second),
but it's such a small benchmark that LIPS numbers
so obtained may not necessarily reflect overall system
performance, and should be taken with a large pinch of salt.
(2) Fernando Pereira's benchmark suite: this suite gives statistics about
a number of different aspects of a Prolog system.
Files: bench.P - Prolog source
bench - SB-Prolog byte code file
To execute: start up SB-Prolog and enter
?- load(bench).
?- tell(foo), benches, told. /* output of benchmarks are
in file foo. */
----------------------------------------------------------------------