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...
Curry
15/10/10 12:00
Otrzymałem dziś kwietniowy numer “Communications of the ACM” a w nim artykuł o języku Curry. Trzeba będzie się mu przyjrzeć bo połączenie programowania funkcyjnego z programowaniem w logice i technologią więzów zawsze wydawało mi się ciekawym i obiecującym podejściem.
Więcej na stronie www.curry-language.org.
Więcej na stronie www.curry-language.org.
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...