AminetAminet
Search:
84799 packages online
About
Recent
Browse
Search
Upload
Setup
Services

dev/lang/swi000.lha

Mirror:Random
Showing: m68k-amigaos iconppc-amigaos iconppc-morphos iconi386-aros iconi386-amithlon iconppc-warpup iconppc-powerup icongeneric icon
No screenshot available
Short:SWI-Prolog 2.9.10
Author: rade at 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/swi000.lha - View contents
Readme:dev/lang/swi000.readme
Downloads:611

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/swi000.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    207513  418300  49.6% -lh5- 2d1a 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    182930  419176  43.6% -lh5- 2ad4 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  682175 1697006  40.2%            May 19  1998
Page generated in 0.02 seconds
Aminet © 1992-2024 Urban Müller and the Aminet team. Aminet contact address: <aminetaminet net>