logic-programming

6Ciepło

2Odpowiedz

Zamawianie celu w Clojure `core.logic`

The following Clojure code używa core.logic do rozwiązania tego samego problemu logicznego z tymi samymi celami w dwóch różnych zamówieniach. Ten wybór uporządkowania powoduje szybkie zakończenie, a d

5Ciepło

4Odpowiedz

Prolog: Wyliczyć wszystkie elementy niezmiernie nieskończonych wyników

Czy są jakieś implementacje prolog, które są w stanie wyliczyć wszystkie elementy niezliczonych wyników? Rozważmy wyliczenie wszystkich par liczb naturalnych. Jeśli wymieniamy pary w kolejności {(0,0)

8Ciepło

4Odpowiedz

Programowanie logiczne w Lua?

Czy istnieje sposób, aby zrobić logic programming (myśl o Prologu) w Lua? W szczególności: czy istnieje moduł Lua do programowania logiki (miniKanren implementacja będzie najlepsza, ale nie jest to be

15Ciepło

4Odpowiedz

Wykonywanie kodu prologu na iPhonie

Obecnie potrzebuję wykonać kod prologu w aplikacji, którą robię. Jestem świadomy, że Apple prawdopodobnie nigdy nie pozwoliłoby na coś takiego w App Store, ale to też nie jest intencja. To jest bardzi

9Ciepło

1Odpowiedz

Funkcja zwraca "Brak rozwiązania" Zamiast "Nic"

Mam standardowy typ danych reprezentujący formuły logiki predykatów. Funkcja przedstawiający zasadę eliminacji dedukcja naturalna dla alternatywy może wyglądać tak: d_el p q = if p =: (Dis r s) &

8Ciepło

3Odpowiedz

Obsługa zmiennych logicznych dla .NET

Poszukuję biblioteki/zestawu, który pozwala mi pracować ze zmiennymi logicznymi w F #. Chciałbym uniknąć ponownego odkrywania koła w zakresie wdrażania wymaganej struktury wyszukiwania, unifikacji i t

9Ciepło

2Odpowiedz

Najbardziej przydatny i pouczający język funkcjonalno-logiczny do nauki

Byłem bardzo zaskoczony mocą Prolog. Zajęło mi trochę czasu, aby dostać się dookoła, ale dla mnie wydawało się, że jest to najciekawszy język deklaratywny. Dlatego niedawno, po dwóch latach programowa

21Ciepło

2Odpowiedz

Zwięzłe wyjaśnienie Core.logic

Chcę użyć Clojure's Core.logic. Jednak chcę również zrozumieć, jak to działa. Czy gdzieś jest to zwięzłe wyjaśnienie? (Podobnie jak implementacja metacircular ewaluatora?) Dzięki!