Algorytm = Logika + Sterowanie

gnu-prolog

Jak to rozwiązać? W Prologu!

Prosty przykład jak zastosować technologię więzów do rozwiązania zagadki arytmetycznej. Read More...

fd_labeling/2

Jak przyspieszyć etykietowanie zmiennych. Read More...

fd_labeling/1

Jak ustalać wartości zmiennych (etykietować zmienne). Read More...

fd_exactly/3

Jak narzucić na listę FD-zmiennych ograniczenie, że pewna, jeszcze nie ustalona, ich liczba ma pewną, niekoniecznie już ustaloną, wartość. Read More...