11Ciepło
3Odpowiedz
Lista ograniczenia nierówności
7Ciepło
6Odpowiedz
Szybsza implementacja arytmetyki słownej w Prologu
6Ciepło
3Odpowiedz
Konwersja number Peano S (N) do liczby całkowitej w Prologu
7Ciepło
2Odpowiedz
Układanie puzzle Zebra (aka puzzle Einsteina) przy pomocy biblioteki clpfd Prolog
6Ciepło
2Odpowiedz
Prolog - argumenty nie są tworzone instancyjnie
5Ciepło
2Odpowiedz
Zastosowanie reified ograniczenia do 3 numery kolejnych
8Ciepło
3Odpowiedz
Przykładowe ograniczenia dotyczące przesyłania danych ECLiPSe
9Ciepło
3Odpowiedz
5Ciepło
1Odpowiedz
Ograniczenie nie jest propagowane po utworzeniu elementów listy
5Ciepło
4Odpowiedz
Tworzenie predykatu w Prologu, który sumuje kwadraty tylko liczb parzystych na liście