Re: Ilp aleph in swi prolog.

Thanks for the suggestions. If there was new version of Aleph that worked
with Swi that would be great. If Woulter you decide to share yours that
would be helpful. I am quite new to logic programming and I will also have
a go at making the modifications but it might take me sometime!
I am interested in Aleph as I understand it allows me to control the search
of the subsumption lattice with user defined heuristics, which seems a
promising approach for generating rules for biological classification and
descriptions.
As far as I was aware Aleph is still state of the art for ILP programs?
(apart from systems incorporating probabilities like problog?)
http://dl-learner.org/ looks like a a really interesting system, so thanks
for that link Chris. If there are any other systems worth checking out I
would be happy to hear about them!

Sam


On Tue, Jan 21, 2014 at 2:52 AM, Chris Mungall <[email protected]> wrote:

> 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