Re: Ilp aleph in swi prolog.

Hi Sam, others,

I have also altered aleph 5 a bit two years in order to get it working in
SWI-Prolog. I have also tried to clean the codebase up a bit, e.g. not all
documented options were working before.

Is anybody out there still using this in active research? I know Saso's
group was using this until at least 2007.

Is aleph still state of the art or are there newer  implementations I'm
unaware of? If the former is the case it might be worthwile to release the
updates as "aleph 5.1".

Cheers!,
Wouter.
On Jan 15, 2014 6:51 PM, "Sam Neaves" <[email protected]> wrote:

> 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
>
>
-------------- next part --------------
HTML attachment scrubbed and removed