gnu-prolog
Jak to rozwiązać? W Prologu!
28/10/10 12:00
Prosty przykład jak zastosować technologię więzów do rozwiązania zagadki arytmetycznej. Read More...
fd_exactly/3
15/03/08 12:00
Jak narzucić na listę FD-zmiennych ograniczenie, że pewna, jeszcze nie ustalona, ich liczba ma pewną, niekoniecznie już ustaloną, wartość. Read More...