Re: Ilp aleph in swi prolog.

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
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
>