Archive "SWI-Prolog_1-6-12.zip"
Path: /dev/proglang/misc/SWI-Prolog_1-6-12.zip
File size: 1.15 MB
MIME-type: application/zip
Files in archive: 235
Total size: 3.79 MB
Size in archive: 1.12 MB
Compression: 30%
pl/
pl/bin/
pl/bin/pl-bite.exe (26.68 KB)
pl/boot/
pl/boot/aix_foreign.pl (3.72 KB)
pl/boot/apply.pl (1.21 KB)
pl/boot/autoload.pl (3.66 KB)
pl/boot/bags.pl (1.47 KB)
pl/boot/dwim.pl (8.2 KB)
pl/boot/edit.pl (3.69 KB)
pl/boot/foreign.pl (2.62 KB)
pl/boot/history.pl (8.4 KB)
pl/boot/init.pl (26.39 KB)
pl/boot/list.pl (4.02 KB)
pl/boot/listing.pl (5.79 KB)
pl/boot/load.pl (403 B)
pl/boot/parms.pl (511 B)
pl/boot/portray.pl (631 B)
pl/boot/profile.pl (1.95 KB)
pl/boot/sort.pl (2.72 KB)
pl/boot/syspred.pl (12.11 KB)
pl/boot/toplevel.pl (7.26 KB)
pl/boot/writef.pl (4.65 KB)
pl/boot.cmd (302 B)
pl/config.h (1.78 KB)
pl/dld-3.2/
pl/dld-3.2/.name (26 B)
pl/dld-3.2/ChangeLog (4.06 KB)
pl/dld-3.2/COPYING (12.2 KB)
pl/dld-3.2/dld.c (65.87 KB)
pl/dld-3.2/dld.h (2.12 KB)
pl/dld-3.2/dld_find_executable.c (1.19 KB)
pl/dld-3.2/doc/
pl/dld-3.2/doc/CSE-90-25.ps (110.78 KB)
pl/dld-3.2/doc/dld.3 (6.18 KB)
pl/dld-3.2/doc/dld.cp (0 B)
pl/dld-3.2/doc/dld.fn (0 B)
pl/dld-3.2/doc/dld.ky (0 B)
pl/dld-3.2/doc/dld.pg (0 B)
pl/dld-3.2/doc/dld.texinfo (13.26 KB)
pl/dld-3.2/doc/dld.tp (0 B)
pl/dld-3.2/doc/dld.vr (0 B)
pl/dld-3.2/doc/dld_find_executable.3 (872 B)
pl/dld-3.2/doc/texinfo.tex (67.31 KB)
pl/dld-3.2/Makefile (434 B)
pl/dld-3.2/README (206 B)
pl/dld-3.2/TODO (636 B)
pl/dump.cmd (256 B)
pl/etc/
pl/etc/emx.dll (37.06 KB)
pl/etc/termcap.dat (4.79 KB)
pl/include/
pl/include/dld.h (2.12 KB)
pl/include/README (662 B)
pl/include/stub.c (1.56 KB)
pl/include/SWI-Exports (593 B)
pl/include/SWI-Prolog.h (8.08 KB)
pl/library/
pl/library/am_match.pl (3.42 KB)
pl/library/check.pl (3.25 KB)
pl/library/ctypes.pl (5.34 KB)
pl/library/dld.c (4.41 KB)
pl/library/dld.pl (557 B)
pl/library/doc (218 B)
pl/library/doc.awk (815 B)
pl/library/doc.sed (829 B)
pl/library/emacs_interface.pl (6.64 KB)
pl/library/files.pl (1 KB)
pl/library/gensym.pl (599 B)
pl/library/help.pl (4.22 KB)
pl/library/help_index.pl (31.14 KB)
pl/library/Makefile (81 B)
pl/library/MANUAL (208.08 KB)
pl/library/online.pl (9.4 KB)
pl/library/quintus.pl (2.91 KB)
pl/library/readln.pl (5.83 KB)
pl/library/shell.pl (4.66 KB)
pl/library/sun4/
pl/library/sun4/dld.o (5.18 KB)
pl/library/sun4/libdld.a (20.57 KB)
pl/library/system.pl (1.56 KB)
pl/library/toolkit.pl (1.9 KB)
pl/library/tty.pl (7.13 KB)
pl/library/whereis.pl (1003 B)
pl/LICENCE (9.83 KB)
pl/lisp/
pl/lisp/Makefile (585 B)
pl/lisp/qpaux.el (2.7 KB)
pl/lisp/qpcommands.el (29.93 KB)
pl/lisp/qpdelete.el (3.45 KB)
pl/lisp/qpfile-compl.el (2.31 KB)
pl/lisp/qpfindpred.el (9.33 KB)
pl/lisp/qphelp-functions.el (4.53 KB)
pl/lisp/qphelp.el (6.94 KB)
pl/lisp/qprocess.el (13 KB)
pl/lisp/qprolog-indent.el (15.72 KB)
pl/lisp/qprolog-mode.el (16.91 KB)
pl/lisp/qprolog.el (4.51 KB)
pl/lisp/qpshell-command-ring.el (2.92 KB)
pl/lisp/qpstart.el (1 KB)
pl/lisp/qptokens.el (7.62 KB)
pl/lisp/qui.el (9.02 KB)
pl/lisp/quintaux.el (1.28 KB)
pl/lisp/qui_aux.el (3.99 KB)
pl/lisp/qui_cmds.el (15.73 KB)
pl/lisp/qui_filter.el (4.84 KB)
pl/lisp/README (9.58 KB)
pl/lisp/swi-prolog.el (6.32 KB)
pl/man/
pl/man/builtin.doc (96.23 KB)
pl/man/clean (169 B)
pl/man/correctindex (56 B)
pl/man/doc.bbl (2.04 KB)
pl/man/doc.blg (401 B)
pl/man/doc.tex (2.64 KB)
pl/man/dvi2tty/
pl/man/dvi2tty/commands.h (3.42 KB)
pl/man/dvi2tty/disdvi.c (14.46 KB)
pl/man/dvi2tty/dvi2tty.1 (4.19 KB)
pl/man/dvi2tty/dvi2tty.c (22.57 KB)
pl/man/dvi2tty/dvi2tty.h (3.69 KB)
pl/man/dvi2tty/dvistuff.c (30.86 KB)
pl/man/dvi2tty/Makefile (365 B)
pl/man/dvi2tty/README (1.66 KB)
pl/man/dvi2tty/README.ORG (1.03 KB)
pl/man/foreign.doc (34.77 KB)
pl/man/hack.doc (6.85 KB)
pl/man/intro.doc (42.35 KB)
pl/man/manual.sty (4.27 KB)
pl/man/module.doc (20.16 KB)
pl/man/online (459 B)
pl/man/online.tex (2.63 KB)
pl/man/onlinetotex (1.33 KB)
pl/man/portray.pl (629 B)
pl/man/print (236 B)
pl/man/PS/
pl/man/PS/man00-01.ps (60.48 KB)
pl/man/PS/man01-19.ps (285.42 KB)
pl/man/PS/man100-end.ps (31.03 KB)
pl/man/PS/man20-39.ps (280.19 KB)
pl/man/PS/man40-59.ps (263.1 KB)
pl/man/PS/man60-79.ps (256.17 KB)
pl/man/PS/man80-99.ps (243.98 KB)
pl/man/ps.sh (365 B)
pl/man/psfig.sty (8.8 KB)
pl/man/README (819 B)
pl/man/runtex (448 B)
pl/man/summary.doc (17.2 KB)
pl/man/swi.ps (1.59 KB)
pl/man/totex (1.33 KB)
pl/man/tty.sty (1.37 KB)
pl/man/uva.ps (1.04 KB)
pl/PORTING (2.78 KB)
pl/README (4.22 KB)
pl/readme.1st (912 B)
pl/readme.os2 (6.04 KB)
pl/runtime/
pl/runtime/PC/
pl/runtime/PC/pl.exe (230.02 KB)
pl/SETUP (1.09 KB)
pl/src/
pl/src/ATOMS (4.91 KB)
pl/src/boot.sh (83 B)
pl/src/ChangeLog (4.44 KB)
pl/src/defatom.awk (412 B)
pl/src/dump (515 B)
pl/src/dump.cmd (228 B)
pl/src/extract.sed (9 B)
pl/src/gnu/
pl/src/gnu/getpagesize.h (416 B)
pl/src/gnu/unexaix.c (23.36 KB)
pl/src/gnu/unexec.c (28.18 KB)
pl/src/gnu/unexmips.c (13.21 KB)
pl/src/m-model.c (2.12 KB)
pl/src/make.sed (185 B)
pl/src/Makefile (5.86 KB)
pl/src/md-atari.h (1.61 KB)
pl/src/md-gener.h (10.01 KB)
pl/src/md-gould.h (1.09 KB)
pl/src/md-hp.h (2.75 KB)
pl/src/md-linux.h (2.15 KB)
pl/src/md-mips.h (1.51 KB)
pl/src/md-next.h (1.87 KB)
pl/src/md-os2.h (1.51 KB)
pl/src/md-ps2.h (1014 B)
pl/src/md-rs6000.h (2.49 KB)
pl/src/md-sgi.h (1.56 KB)
pl/src/md-sun3.h (1.8 KB)
pl/src/md-sun4.h (1.91 KB)
pl/src/md-vax.h (1.58 KB)
pl/src/pl-alloc.c (10.19 KB)
pl/src/pl-arith.c (24.71 KB)
pl/src/pl-atom.c (6.51 KB)
pl/src/pl-atom.ic (6.61 KB)
pl/src/pl-atom.ih (7.12 KB)
pl/src/pl-bag.c (3.17 KB)
pl/src/pl-bite.c (1.42 KB)
pl/src/pl-comp.c (57.04 KB)
pl/src/pl-ctype.h (1.35 KB)
pl/src/pl-dump.c (8.63 KB)
pl/src/pl-dwim.c (5.59 KB)
pl/src/pl-export (563 B)
pl/src/pl-ext.c (15.2 KB)
pl/src/pl-extend.c (1.57 KB)
pl/src/pl-file.c (32.65 KB)
pl/src/pl-flag.c (1.89 KB)
pl/src/pl-fmt.c (10.67 KB)
pl/src/pl-funcs.h (15.55 KB)
pl/src/pl-funct.c (4.87 KB)
pl/src/pl-funct.ic (3.64 KB)
pl/src/pl-funct.ih (3.17 KB)
pl/src/pl-gc.c (35.19 KB)
pl/src/pl-glob.c (10.46 KB)
pl/src/pl-incl.h (46.95 KB)
pl/src/pl-index.c (6.58 KB)
pl/src/pl-itf.c (11.21 KB)
pl/src/pl-itf.h (8.08 KB)
pl/src/pl-list.c (2.53 KB)
pl/src/pl-load.c (20.66 KB)
pl/src/pl-main.c (11.18 KB)
pl/src/pl-main.h (3.09 KB)
pl/src/pl-modul.c (10.6 KB)
pl/src/pl-op.c (8.45 KB)
pl/src/pl-os.c (58.38 KB)
pl/src/pl-os.h (7.79 KB)
pl/src/pl-prims.c (28.71 KB)
pl/src/pl-pro.c (10.63 KB)
pl/src/pl-proc.c (24.23 KB)
pl/src/pl-prof.c (5.53 KB)
pl/src/pl-read.c (35.18 KB)
pl/src/pl-rec.c (10.22 KB)
pl/src/pl-save.c (16.63 KB)
pl/src/pl-save.c~ (16.03 KB)
pl/src/pl-save.h (1.04 KB)
pl/src/pl-setup.c (24.88 KB)
pl/src/pl-ssymb.h (3.93 KB)
pl/src/pl-sys.c (4.83 KB)
pl/src/pl-table.c (4.19 KB)
pl/src/pl-term.c (5.17 KB)
pl/src/pl-trace.c (24.76 KB)
pl/src/pl-util.c (5.66 KB)
pl/src/pl-wam.c (64.72 KB)
pl/src/pl-wic.c (26.53 KB)
pl/src/pl-write.c (8.5 KB)
pl/src/pl.prj (1.42 KB)
pl/src/PROBLEMS (639 B)
pl/src/simpl.sed (16 B)
pl/src/strip.sed (44 B)
pl/src/tc.cfg (1.81 KB)
pl/STAMP (29 B)
pl/startup/
pl/UPGRADE (622 B)
pl/VERSION (7 B)