
|
84799 packages online
|
|
 |
|
|
|
No screenshot available
|
Short: | SWI-Prolog 2.9.10 |
Author: | rade coli.uni-sb.de (Ralph Debusmann) |
Uploader: | rade coli uni-sb de (Ralph Debusmann) |
Type: | dev/lang |
Architecture: | m68k-amigaos |
Date: | 1998-05-19 |
Replaces: | dev/lang/SWI-Prolog* |
Download: | dev/lang/swi020.lha - View contents | Readme: | dev/lang/swi020.readme |
Downloads: | 623 |
|
SWI-Prolog 2.9.10 for AmigaOS
*****************************
Looking for a decent Prolog implementation for the Amiga? This might be
it.
The Archives
************
The SWI-Prolog 2.9.10 AmigaOS-distribution consists of four seperate
archives (unless you wish to compile your own executable and
runtime-module, you only need one of the binary archives)...
1. The source archive (swisrc.lha)
This is the original Unix-source archive except for AmigaOS-specific
'src/config.h', 'src/Makefile' and 'src/pl-os.c' files. Thus you don't
need to run 'configure' (I didn't work for me in 2.9.10 anyway) any more,
'make' suffices.
2. The 68k binary archive (swi000.lha)
All you need to run SWI on any 68k AmigaOS-machine. Includes pl-library,
documentation, runtime-module, pl.qlf-path-specifications et al.
3. The 68020 binary archive (swi020.lha)
Same as 2. for 68020+.
4. The 68040 binary archive (swi040.lha)
Guess what.
The executables
***************
The included executables resulted from a straight, *not* very fancy ADE
port. Thus to run SWI-Prolog you need
* ixemul.library (v46)
plus
* an assign called 'SWI:' to the SWI directory
I consider changing to libnix in the future. We'll see. Would be nice if
anyone with SAS or StormC could produce a efficient executable (mine seems
to be 4 times slower on my 060/50 than on a stone-old P100).
Nice Tips
*********
* to gain back the Amiga Shell history function and line editing but
loose bracket matching and direct keyboard control start SWI-Prolog with
the '-tty'-switch: 'pl -tty'
* break SWI-Prolog by pressing CTRL-C
* exit back to the Shell by pressing CTRL and the key left from
Backspace simultaneously (or click the Shell's close gadget)
* get yourself a good ADE installation and correctly set PAGER and
EDITOR environment variables in order to make predicates like 'help' and
'edit' usable
The End
*******
Post any questions to rade@coli.uni-sb.de and have some fun doing prolog
stuff on the Amiga >:)
|
Contents of dev/lang/swi020.lha
PERMSSN UID GID PACKED SIZE RATIO CRC STAMP NAME
---------- ----------- ------- ------- ------ ---------- ------------ -------------
drwxr-x--- 9095/700 0 0 ****** -lhd- 0000 May 18 1998 SWI/
-rw-r----- 9095/700 1104 2158 51.2% -lh5- e733 May 18 1998 SWI/README.amiga
drwxr-x--- 9095/700 0 0 ****** -lhd- 0000 May 18 1998 SWI/boot/
-rw-r----- 9095/700 1364 3825 35.7% -lh5- 87f6 Aug 16 1995 SWI/boot/aix_foreign.pl
-rw-r----- 9095/700 561 1227 45.7% -lh5- c951 Jun 14 1995 SWI/boot/apply.pl
-rw-r----- 9095/700 2047 6046 33.9% -lh5- 3e24 Oct 28 1997 SWI/boot/autoload.pl
-rw-r----- 9095/700 721 1482 48.7% -lh5- f8df May 6 1997 SWI/boot/bags.pl
-rw-r----- 9095/700 2763 9166 30.1% -lh5- b448 Oct 13 1997 SWI/boot/dwim.pl
-rw-r----- 9095/700 1904 5313 35.8% -lh5- d7fb Mar 10 1997 SWI/boot/edit.pl
-rw-r----- 9095/700 1085 2713 40.0% -lh5- 994e Aug 16 1995 SWI/boot/foreign.pl
-rw-r----- 9095/700 2726 8737 31.2% -lh5- 7edb Oct 28 1997 SWI/boot/history.pl
-rw-r----- 9095/700 10190 34040 29.9% -lh5- b7cd Feb 4 1998 SWI/boot/init.pl
-rw-r----- 9095/700 1676 4883 34.3% -lh5- ed0a Dec 3 1997 SWI/boot/list.pl
-rw-r----- 9095/700 1725 6235 27.7% -lh5- 8398 Jul 2 1997 SWI/boot/listing.pl
-rw-r----- 9095/700 198 299 66.2% -lh5- deff Jul 2 1997 SWI/boot/load.pl
-rw-r----- 9095/700 1467 4284 34.2% -lh5- badc Nov 4 1997 SWI/boot/messages.pl
-rw-r----- 9095/700 332 577 57.5% -lh5- c5e9 Nov 1 1995 SWI/boot/parms.pl
-rw-r----- 9095/700 923 2003 46.1% -lh5- 8f5d Oct 25 1992 SWI/boot/profile.pl
-rw-r----- 9095/700 1056 2704 39.1% -lh5- 5c74 Nov 1 1995 SWI/boot/qlf.pl
-rw-r----- 9095/700 1056 2841 37.2% -lh5- 17a6 Jun 14 1995 SWI/boot/sort.pl
-rw-r----- 9095/700 5307 19002 27.9% -lh5- d14a Aug 7 1997 SWI/boot/syspred.pl
-rw-r----- 9095/700 4388 13545 32.4% -lh5- 390c Nov 4 1997 SWI/boot/toplevel.pl
-rw-r----- 9095/700 1054 2748 38.4% -lh5- 9e24 Aug 16 1995 SWI/boot/topvars.pl
-rw-r----- 9095/700 1770 4785 37.0% -lh5- 5c90 Jul 2 1997 SWI/boot/writef.pl
drwxr-x--- 9095/700 0 0 ****** -lhd- 0000 May 18 1998 SWI/lib/
-rw-r----- 9095/700 1242 6622 18.8% -lh5- d4dd May 18 1998 SWI/lib/INDEX.pl
-rw-r----- 9095/700 148730 457491 32.5% -lh5- ea5e Apr 15 1998 SWI/lib/MANUAL
-rw-r----- 9095/700 1074 3504 30.7% -lh5- 338e May 26 1992 SWI/lib/am_match.pl
-rw-r----- 9095/700 388 823 47.1% -lh5- 4425 Jul 2 1997 SWI/lib/backcomp.pl
-rw-r----- 9095/700 1588 4256 37.3% -lh5- a960 Jan 31 1994 SWI/lib/bim.pl
-rw-r----- 9095/700 1081 3426 31.6% -lh5- c310 Oct 13 1997 SWI/lib/check.pl
-rw-r----- 9095/700 1813 5475 33.1% -lh5- 47e7 May 26 1992 SWI/lib/ctypes.pl
-rw-r----- 9095/700 1536 4939 31.1% -lh5- 1729 Jun 5 1996 SWI/lib/dde.pl
-rw-r----- 9095/700 1433 4519 31.7% -lh5- 9435 May 26 1992 SWI/lib/dld.c
-rw-r----- 9095/700 350 564 62.1% -lh5- 5a53 May 26 1992 SWI/lib/dld.pl
-rw-r----- 9095/700 2273 6989 32.5% -lh5- e219 Nov 22 1994 SWI/lib/emacs_interface.pl
-rw-r----- 9095/700 2064 7574 27.3% -lh5- 2f42 Feb 18 1998 SWI/lib/explain.pl
-rw-r----- 9095/700 534 1025 52.1% -lh5- 73ff Aug 16 1995 SWI/lib/files.pl
-rw-r----- 9095/700 335 606 55.3% -lh5- 77ee May 26 1992 SWI/lib/gensym.pl
-rw-r----- 9095/700 2054 6093 33.7% -lh5- 0abd Oct 13 1997 SWI/lib/help.pl
-rw-r----- 9095/700 12521 38558 32.5% -lh5- 6bf2 Jul 26 1995 SWI/lib/help_index.pl
-rw-r----- 9095/700 15498 47869 32.4% -lh5- 3aa3 Apr 15 1998 SWI/lib/helpidx.pl
-rw-r----- 9095/700 1506 4903 30.7% -lh5- 29e7 May 6 1997 SWI/lib/oset.pl
-rw-r----- 9095/700 2193 6331 34.6% -lh5- 02cd Apr 4 1997 SWI/lib/progman.pl
-rw-r----- 9095/700 526 1041 50.5% -lh5- 4292 Aug 16 1995 SWI/lib/qlfutil.pl
-rw-r----- 9095/700 2257 6831 33.0% -lh5- 1687 May 26 1992 SWI/lib/qp_interface.pl
-rw-r----- 9095/700 2350 7540 31.2% -lh5- 0a31 Feb 4 1998 SWI/lib/qsave.pl
-rw-r----- 9095/700 1543 4510 34.2% -lh5- 4b0b Mar 25 1997 SWI/lib/quintus.pl
-rw-r----- 9095/700 2364 5982 39.5% -lh5- 632c May 26 1992 SWI/lib/readln.pl
-rw-r----- 9095/700 1766 4070 43.4% -lh5- 0a9a Nov 12 1997 SWI/lib/shell.pl
-rw-r----- 9095/700 1599 5171 30.9% -lh5- 2600 May 6 1997 SWI/lib/shlib.pl
-rw-r----- 9095/700 701 1624 43.2% -lh5- 59c0 Nov 22 1994 SWI/lib/system.pl
-rw-r----- 9095/700 766 1955 39.2% -lh5- b94c May 26 1992 SWI/lib/toolkit.pl
-rw-r----- 9095/700 876 2333 37.5% -lh5- 237c Nov 4 1994 SWI/lib/topvars.pl
-rw-r----- 9095/700 2695 7308 36.9% -lh5- 83f0 May 26 1992 SWI/lib/tty.pl
-rw-r----- 9095/700 525 1023 51.3% -lh5- ad6e Nov 22 1994 SWI/lib/whereis.pl
-rw-r----- 9095/700 204618 408456 50.1% -lh5- 5dbf May 19 1998 SWI/pl
-rw-r----- 9095/700 30129 59957 50.3% -lh5- 4af2 May 19 1998 SWI/pl.qlf
drwxr-x--- 9095/700 0 0 ****** -lhd- 0000 May 18 1998 SWI/runtime/
drwxr-x--- 9095/700 0 0 ****** -lhd- 0000 May 18 1998 SWI/runtime/AmigaOS/
-rw-r----- 9095/700 179001 404874 44.2% -lh5- 8c6e May 19 1998 SWI/runtime/AmigaOS/libpl.a
-rw-r----- 9095/700 2 2 100.0% -lh0- a79d May 18 1998 SWI/swipl
-rw-r----- 9095/700 3 3 100.0% -lh0- aefd May 18 1998 SWI/swiplbin
---------- ----------- ------- ------- ------ ---------- ------------ -------------
Total 63 files 675351 1672860 40.4% May 19 1998
|
|
|
 |
Page generated in 0.02 seconds |
Aminet © 1992-2024 Urban
Müller and the Aminet team.
Aminet contact address: <aminet aminet net> |