Ilp aleph in swi prolog.

Hello,

I am trying to run the ILP program Aleph in Swi prolog.

http://www.cs.ox.ac.uk/activities/machlearn/Aleph/aleph.html

However when I consult the file I receive a number of errors:

ERROR: c:/users/localadmin/documents/aleph/aleph.pl:97:
        Wrong context: arithmetic_function/1 can only be used in a directive
Warning: c:/users/localadmin/documents/aleph/aleph.pl:97:
        Goal (directive) failed: user: (prolog_type(_G78),init(_G78))
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:1067:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:1080:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:1799:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:1810:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:2007:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:2268:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:2356:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:2851:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:2952:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:3171:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:3258:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:3348:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:5166:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:8738:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:8741:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:8800:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:8822:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:8825:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:9097:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:9321:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:9333:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:9825:
        evaluable `inf' does not exist
ERROR: c:/users/localadmin/documents/aleph/aleph.pl:9827:
        evaluable `inf' does not exist


A L E P H
Version 5
Last modified: Sun Mar 11 03:25:37 UTC 2007

Manual: http://www.comlab.ox.ac.uk/oucl/groups/machlearn/Aleph/index.html

ERROR: c:/users/localadmin/documents/aleph/aleph.pl:10410:
        '<meta-call>'/1: Undefined procedure: set/2
          However, there are definitions for:
                get/1
                see/1
                get/2
                sat/1
                sat/2
Warning: c:/users/localadmin/documents/aleph/aleph.pl:10410:
        Goal (directive) failed: user:
(aleph_version(_G180),set(version,_G180),reset)
% aleph compiled 0.09 sec, 1,909 clauses

I do not get these errors if I run in Yap prolog, but I am more used to SWI
and I would like to use some of the SWI features. Does anyone here know
what I need to do to get this to work?

Sam
-------------- next part --------------
HTML attachment scrubbed and removed