Re: Ilp aleph in swi prolog.

Hello,

I have alreadly translate a Yap Prolog in Swi,it is not difficult,
there a few differences.
  So the reverse is too not difficult.

I advise you to look at the differences between these languages,
and simply makes the syntatical changes.

Cheers

Dominique

Le 15/01/2014 17:46, Sam Neaves a écrit :
> 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
> _______________________________________________
> SWI-Prolog mailing list
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>
> !DSPAM:152,52d6ca8d9141128881817!
>