Re: Ilp aleph in swi prolog.

Why not put your version up on github? It would make coordinating all these
extensions easier.

I'm not aware of the state of the art in pure LP-based ILP, but there is
the similar DL-learner tool that works with OWL ontologies (and takes
prolog-style programs as input): http://dl-learner.org/


On Mon, Jan 20, 2014 at 3:56 PM, Wouter Beek <[email protected]> wrote:

> 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
> _______________________________________________
> SWI-Prolog mailing list
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>
-------------- next part --------------
HTML attachment scrubbed and removed