A 4. kishazi kapcsan, talaltam egy eleg erdekes dolgot, eleg durva bugnak tunik.
Neha sicstus SIGSEGV-el leallt.

Csinaltam minimalis peldat, amire meg kiakad:

:- use_module(library(clpfd)).
globcons(X, Y) :-
fd_global(globcons(X, Y), [], [minmax(X), minmax(Y), val(Y)]).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(globcons(X, Y), [], [], A) :-
( nonvar(Y) ->
A = [call(domain([X], inf, Y)), exit]
;
A = []
).
:- globcons(_, Y), Y = 5.

Ez a linuxos 64-bites glibc2.7-es 4.2.1-es sicstus volt nalam, meg tudnatok nezni hogy nalatok is elszall?

Koszonom,
NGG

2012. december 17. 11:56 Peregi Tamás írta, <petamas@gmail.com>:

Kedves Péter és többiek!

Nekem megfelel a szerda 14 óra.

Tamás.

2012/12/16 Peter Szeredi <szeredi@cs.bme.hu>

Mit szólnátok egy szerda (dec. 19) du 14 órai konzultációhoz a szobámban?

Addig is lehet kérdezni emailben.

Péter

_______________________________________________
NHLP-l mailing list
NHLP-l@sziami.cs.bme.hu
http://sziami.cs.bme.hu/mailman/listinfo/nhlp-l