prolog

5Ciepło

1Odpowiedz

Prolog C# Interfejs chowa się z pliku

Właśnie nawiązałem połączenie z SWI Prolog i chcę manipulować faktami. na przykład wycofać i potwierdzić je. mam jakąś funkcję tak: String[] param = { "-q" }; PlEngine.Initialize(param);

c# prolog 2015-05-25

---

5Ciepło

2Odpowiedz

Długość uporządkowanych podzbiorów?

Próbuję utworzyć kod, który generuje wszystkie podzestawy zestawu w celu. To, nazywając subset([1,2,3], X) powinien generować X = []; X = [1]; X = [2]; X = [3]; X = [1,2]; X = [1,3]; X = [2,3];

list prolog 2015-10-23

---

6Ciepło

3Odpowiedz

Brut-force Prolog Rozwiązywanie problemów SAT dla formuł logicznych

Próbuję napisać algorytm, który naiwnie szuka modeli formuły logicznej (NNF, ale nie CNF). Kod mam może sprawdzić istniejący model, ale to nie (lub nie zakończyć) pytany, aby znaleźć modele, z pozoru,

prolog sat clpb 2015-12-17

---

6Ciepło

5Odpowiedz

Przecięcie dwóch list bez duplikatów elementów w Prologu

Potrzebuję napisać program, który znajdzie przecięcie dwóch list. Nie mogę używać cięć i nie powinno być żadnych duplikatów na liście wyników. To jest mój kod: intersection([],_,[]). intersection([X|

list prolog duplicates 2015-07-26

---

5Ciepło

1Odpowiedz

Ograniczenie nie jest propagowane po utworzeniu elementów listy

Buduję parser i generator dla dat i godzin. W zwykłym języku programowania będą one pisane osobno. W Prolog + CLP (FD) mogę napisać 1 predykat, który wykonuje oba :-) W moim przypadku użycia często ma

parsing prolog clpfd 2015-06-06

---

9Ciepło

1Odpowiedz

Czy Prolog ma alias "operator", taki jak Haskell?

W języku Haskell istnieje funkcja języka o nazwie "as" -operator (czasami nazywana aliasem). Idea jest następująca: podany masz funkcję, na przykład potrzebny jako wejście listę i chce powrócić wszyst

performance haskell prolog alias 2015-12-24

---

7Ciepło

1Odpowiedz

Dlaczego SWI-Prolog daje mi tylko pierwszą odpowiedź?

Jestem nowy w Prolog. Próbuję tylko prostych przykładów do nauki. Mam ten plik .pl z tych linii: parent(pam,bob). parent(tom,bob). parent(tom,lio). parent(bob,ann). parent(bob,pat). parent(pat,ji

prolog prolog-toplevel 2015-12-25

---

20Ciepło

2Odpowiedz

W GNU-Prolog, czy mogę "złapać" sygnał linux?

Czy istnieje sposób na "pułapkę" (np. "Catch") sygnału systemu operacyjnego w GNU Prolog? (Używam Ubuntu/Linux, najnowszy gprolog). myślę dawno użyłem tego podejścia w WAMCC, przed który przekształcił

linux prolog gnu-prolog 2015-06-20

---

5Ciepło

1Odpowiedz

Testowanie predykatu "Rzędu bezpiecznego"

W ostatnim pytaniu (How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?) @false poprosił o implementację terminu zamawiania predykatu lt/2, wariant ISO wbudowaneg

testing prolog order iso-prolog 2015-05-07

---

5Ciepło

2Odpowiedz

Zastosowanie reified ograniczenia do 3 numery kolejnych

Oto zarys mojego programu SWI-Prolog: :- use_module(library(clpfd)). consec1(L) :- L=[L1,L2,L3,L4,L5,L6,L7,L8,L9], L ins 1..9, ..., abs(L5-L4)#=1, all_different(L), lab

prolog constraints clpfd 2015-05-07

---