Algorytm = Logika + Sterowanie

Mar 2008

Więzy

fd_labeling/2

18/03/08 12:00

Jak przyspieszyć etykietowanie zmiennych. Read More...

Tags: gnu-prolog

fd_labeling/1

16/03/08 12:00

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

Tags: gnu-prolog

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...

Tags: gnu-prolog