problems running local search algorithms

[cmeilicke]

problems running local search algorithms

[cmeilicke]

To clarify: The problems appear when usin aleph.pl. The problems do not show up (as far as I can see) when using aleph_orig.pl. This solves the concrete problem for me.

[friguzzi]

Yes, it's a problem with porting, can you send me your input file?

[cmeilicke]

As I said, I'm happy now that it runs nicely with aleph.pl. However, since you might like to fix this in your port, here are the details:

I use the attached file:

cocktail2.txt

Since i could not upload a *.pl file, i renamed the file extension to *.txt. You have to rename it back to cocktail2.pl

I run it like this:

E:\_temp\aleph-master\prolog>swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

1 ?- [cocktail2].
true.

2 ?- induce().
[select example] [1]
[sat] [1]
[poison(c3)]

[bottom clause]
poison(A) :-
   has(A,B), has(A,C), has(A,D), has(A,E),
   lem(E), lem(B), umb(D), str(C),
   first(B), last(E), suc(D,E), suc(C,D),
   suc(B,C).
[literals] [14]
[saturation time] [0.0]
[error] [set(refineop,rls)]
Warning: Undefined procedure: aleph:estimate_numbers/1
Warning:   However, there are definitions for:
Warning:         aleph:estimate_numbers/2
Warning:         aleph:estimate_number/4
Warning:         aleph:estimate_number/5
Warning:         aleph:estimate_numbers/5
Warning:         aleph:estimate_number/6
Warning:         aleph:estimate_numbers/6
[select example] [1]
[sat] [1]
[poison(c3)]

[bottom clause]
poison(A) :-
   has(A,B), has(A,C), has(A,D), has(A,E),
   lem(E), lem(B), umb(D), str(C),
   first(B), last(E), suc(D,E), suc(C,D),
   suc(B,C).
[literals] [14]
[saturation time] [0.015625]
[error] [set(refineop,rls)]
Warning: Undefined procedure: aleph:estimate_numbers/1
Warning:   However, there are definitions for:
Warning:         aleph:estimate_numbers/2
Warning:         aleph:estimate_number/4
Warning:         aleph:estimate_number/5
Warning:         aleph:estimate_numbers/5
Warning:         aleph:estimate_number/6
Warning:         aleph:estimate_numbers/6
[select example] [1]
[sat] [1]
[poison(c3)]
...

[friguzzi]

Should be fixed in the latest commit, 208adfa
can you check?

[cmeilicke]

Hi,

Thanks a lot for fixing this so quickly, yes, I checked, now it works nicely.

Regards. Christian.