Ilp aleph in swi prolog.

classic Classic list List threaded Threaded
8 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Ilp aleph in swi prolog.

Sam Neaves
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
[hidden email]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Ilp aleph in swi prolog.

Jan Wielemaker-5
On 01/15/2014 05:46 PM, Sam Neaves 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

I have a copy for which the history isn't really known, but it contains:

:- if(current_prolog_flag(dialect,swi)).
:- use_module(library(arithmetic)).
:- arithmetic_function(inf/0).
:- endif.

That is the way to make these declarations now.

Hope this helps

        Cheers --- Jan

>
> 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
> [hidden email]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>
_______________________________________________
SWI-Prolog mailing list
[hidden email]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Ilp aleph in swi prolog.

db-2
In reply to this post by Sam Neaves
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
> [hidden email]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>
> !DSPAM:152,52d6ca8d9141128881817!
>
_______________________________________________
SWI-Prolog mailing list
[hidden email]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Ilp aleph in swi prolog.

Wouter Beek-2
In reply to this post by Sam Neaves
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" <[hidden email]> 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
> [hidden email]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>
>
-------------- next part --------------
HTML attachment scrubbed and removed
_______________________________________________
SWI-Prolog mailing list
[hidden email]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Ilp aleph in swi prolog.

Chris Mungall-6
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 <[hidden email]> 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" <[hidden email]> 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
> > [hidden email]
> > https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
> >
> >
> -------------- next part --------------
> HTML attachment scrubbed and removed
> _______________________________________________
> SWI-Prolog mailing list
> [hidden email]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>
-------------- next part --------------
HTML attachment scrubbed and removed
_______________________________________________
SWI-Prolog mailing list
[hidden email]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Ilp aleph in swi prolog.

Sam Neaves
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 <[hidden email]> 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 <[hidden email]> 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" <[hidden email]> 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
>> > [hidden email]
>> > https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>> >
>> >
>> -------------- next part --------------
>> HTML attachment scrubbed and removed
>> _______________________________________________
>> SWI-Prolog mailing list
>> [hidden email]
>> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>>
>
>
-------------- next part --------------
HTML attachment scrubbed and removed
_______________________________________________
SWI-Prolog mailing list
[hidden email]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
db
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Ilp aleph in swi prolog.

db
Hello,

Le 21/01/2014 11:02, Sam Neaves a écrit :
> As far as I was aware Aleph is still state of the art for ILP programs?

there are also (from Wikipedia)



     ACE (A Combined Engine) (http://dtai.cs.kuleuven.be/ACE/)
     Aleph (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/)
     Claudien (http://dtai.cs.kuleuven.be/claudien/)
     DL-Learner (http://dl-learner.org)
     DMax (http://dtai.cs.kuleuven.be/dmax/)
     FOIL (ftp://ftp.cs.su.oz.au/pub/foil6.sh)
     Golem (ILP) (http://www.doc.ic.ac.uk/~shm/Software/golem)
     Inthelex (INcremental THEory Learner from EXamples)
(http://lacam.di.uniba.it:8000/systems/inthelex/)
     Lime (http://cs.anu.edu.au/people/Eric.McCreath/lime.html)
     Mio (http://libra.msra.cn/Publication/3392493/mio-user-s-manual)
     MIS (Model Inference System) by Ehud Shapiro
     PROGOL (http://www.doc.ic.ac.uk/~shm/Software/progol5.0)
     RSD (http://labe.felk.cvut.cz/~zelezny/rsd/)
     Warmr (now included in ACE)

Cheers,

Dominique

_______________________________________________
SWI-Prolog mailing list
[hidden email]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Ilp aleph in swi prolog.

Hossein Hassanzadeh
This post has NOT been accepted by the mailing list yet.
In reply to this post by Sam Neaves
Hello Sam,

I have exactly the same problem you had earlier.
I`m just wondering could you solve it and run aleph in SWI prolog?
Loading...