Stack Overflow
Stack Overflow

Questions tagged [aleph-ilp]

Aleph is an Inductive Logic Programming (ILP) system.

Aleph is an Inductive Logic Programming (ILP) system. The name is an acronym for A Learning Engine for Proposing Hypotheses.

See also:

11 questions
3
votes
0 answers

Has anyone experience with recursive problems in Aleph?

I am currently working on my Symbolic AI homework in Aleph and I have been working on it for hours, but I am still where I was at the beginning, I hope some of you can help me or give me hints. So the first exercise was to look at the recursive…
Anna Hausberger
  • 31
  • 1
2
votes
2 answers

Using aleph with SWI-prolog: source_sink `library(aleph)' does not exist

I’m trying to import Aleph with SWI-Prolog. When I run my program I get the error below. What do I have to do to import library(aleph)? By the way, I have already downloaded aleph.pl for my program. Here is my test program, I know there must be…
LU.CAO
  • 41
  • 5
2
votes
1 answer

Compiling Yap on windows 8

I am trying to compile yap on my PC since it seems YAP default installers don't come with the Depth limit flag enabled. I need this to work on an ILP project on Aleph. The thing is, that I am forced to use a PC with windows 8 without enough memory…
user3644986
  • 45
  • 5
1
vote
0 answers

Can't get a correct theory by Aleph with SWI-Prolog

I’m trying to use Aleph with SWI-Prolog to construct a theory. But the result seems incorrect. My prolog file is: :- use_module(library(aleph)). :- if(current_predicate(use_rendering/1)). :- use_rendering(prolog). :- endif. :- aleph. :-…
Vic
  • 27
  • 1
  • 4
1
vote
0 answers

A system for predicting integer sequence

I am now working on a system(ALEPH) for predicting next integers and need to impprt real integer sequence to test it. Here is one of my prolog programmming in aleph to induce the Fibonacci sequence theory: :- use_module(library(aleph)). :-…
LU.CAO
  • 41
  • 5
0
votes
1 answer

How to get a theory by using Aleph with SWI-Prolog

I'm trying to get a theory by using the Aleph inductive logic programming system with SWI-Prolog (SWI-Prolog Pack) My code is :- use_module(library(aleph)). :- if(current_predicate(use_rendering/1)). :- use_rendering(prolog). :- endif. :- aleph. :-…
Victor
  • 13
  • 2
0
votes
0 answers

How to output theory by using Aleph with SWI-Prolog?

I would like to use Aleph to get a theory with SWI-Prolog. My OS is MacOS 10.15. Here is my input file: % Aleph initialization :- aleph. % Mode declarations % mode(RecallNumber,PredicateMode). % - output :-…
Vic
  • 27
  • 1
  • 4
0
votes
0 answers

When I use the installer in swi-prolog to install the aleph, I got the ERROR: source_sink `path(git)' does not exist

When I am trying to install aleph into swiprolog, I got the errors as follow. Did I do something wrong? ?- pack_install(aleph). % Contacting server at http://www.swi-prolog.org/pack/query ... ok Install aleph@5 from GIT at…
LU.CAO
  • 41
  • 5
0
votes
1 answer

Not getting a theory in Aleph for SWI Prolog

I'm trying to get Aleph to work and induce a simple theory: grandparent(X,Z):- father(X, Y), father(Y, Z). However i get back an atom (e.g. grandparent(john,johnJuniorJunior)). Hope somebody can help. Note that Aleph for SWI uses a single file as…
user3170496
0
votes
1 answer

Using Aleph in C# with SWI Prolog?

In a C# application, I want to use Aleph for constructing a theory. The following works in SWI-Prolog: ?- [aleph.pl]. ?- working_directory(CDW,'C:/Users/admin/Desktop/inputFiles'). ?- read_all(datainput). ?- induce. But in C# these commands…
Ros
  • 37
  • 6
-1
votes
1 answer

How to get more complex theory in Aleph with SWI-Prolog?

I tired to use Aleph to get a theory, but my out only one head with one body, actually I want more bodies. My input file is: :- use_module(library(aleph)). :- if(current_predicate(use_rendering/1)). :- use_rendering(prolog). :- endif. :- aleph. :-…
Vic
  • 27
  • 1
  • 4