«logic-programming» etiketlenmiş sorular

Prolog yorumlayıcıyı tamamen işlevsel bir dilde nasıl uygulayacağınıza dair sözde kodla açık bir referans var mı? Şimdiye dek bulduklarımın yalnızca zorunlu dillerle ilgilendiği görülüyor, yalnızca kendi başına uygulanan Prolog'un bir gösterimi veya yorumlama için kullanılacak somut bir algoritma sunmuyor. Bir cevabı çok takdir ediyorum.

25 functional-programming  prolog  logic-programming 

Mı "parti katılım" sorunların tipi Prolog'da çözülebilir? Örneğin: Dulavratotu Muldoon ve Carlotta Pinkstone, Albus Dumbledore gelirse geleceklerini söylediler. Albus Dumbledore ve Daisy Dodderidge, Carlotta Pinkstone gelirse geleceklerini söylediler. Albus Dumbledore, Burdock Muldoon ve Carlotta Pinkstone Elfrida Clagg gelirse geleceklerini söylediler. Carlotta Pinkstone ve Daisy Dodderidge, Falco Aesalon gelirse geleceklerini söylediler. …

18 logic  constraint-programming  prolog  logic-programming 

PROLOG'un Turing-tamamlandığını kanıtlayabilirim, böyle bir Turing makinesini simüle eden bir program oluşturarak: 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, NewSym, Action)), action(Action, Ls0, Ls1, [NewSym|RsRest], …

15 programming-languages  turing-completeness  logic-programming  prolog