Informatyka logic-programming

2

Jak wdrożyć tłumacza prologu w czysto funkcjonalnym języku?

Czy istnieje wyraźne odniesienie, z pseudo-kodem, dotyczące sposobu wdrażania interpretera Prolog w czysto funkcjonalnym języku? To, co do tej pory znalazłem, wydaje się dotyczyć wyłącznie języków imperatywnych, jest jedynie demonstracją samego Prologu zaimplementowanego lub nie oferuje żadnego konkretnego algorytmu do zastosowania w interpretacji. Byłbym bardzo wdzięczny za odpowiedź.

25 functional-programming prolog logic-programming

4

Czy problemy z ograniczeniami można rozwiązać za pomocą Prolog?

Czy problemy typu „obecność na imprezie” można rozwiązać w Prologu? Na przykład: Łopian Muldoon i Carlotta Pinkstone powiedzieli, że przybędą, jeśli przyjdzie Albus Dumbledore. Albus Dumbledore i Daisy Dodderidge powiedzieli, że przybędą, jeśli przyjdzie Carlotta Pinkstone. Albus Dumbledore, Burdock Muldoon i Carlotta Pinkstone powiedzieli, że przyjdą, jeśli przyjdzie Elfrida Clagg. …

18 logic constraint-programming prolog logic-programming

2

Co sprawia, że PROLOG Turing jest kompletny?

Wiem, że można udowodnić, że PROLOG jest kompletny z Turinga, tworząc program symulujący maszynę Turinga w następujący sposób: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, …

15 programming-languages turing-completeness logic-programming prolog

Pytania otagowane jako logic-programming