Gal Tamas Zoltan <gtz(a)ludens.elte.hu> writes:
Üdv.
Hogyan értelmezzem az alábbi hibaüzenetet?
| ?- consult(library(clpfd)).
...
| ?- A in 1..2.
A in 1..2 ? ;
no
% source info
| ?- A in 1..2, B in 1..2, all_distinct([A,B]).
! segmentation violation
% Execution aborted
% source info
| ?-
Szóval mi baja van szegény kis prologocskának?
GTZ
U.I.: Nem csak az all_distinct/1 -el van baj...
Hat szegeny kis prologocska nincs ahhoz szokva, hogy egy konyvtarat
konzultaljanak. Ami persze nagyon nem szep tole.
De azert konnyu tultenni magadat ezen: konyvtarat mindig use_module-lal
tolts be:
| ?- use_module(library(clpfd)).
(...)
yes
| ?- A in 1..2, B in 1..2, all_distinct([A,B]).
A in 1..2,
B in 1..2 ? ;
no
% source_info
Udv,
-Peter