Apakah ada referensi yang jelas, dengan pseudo-code, tentang bagaimana cara mengimplementasikan juru bahasa Prolog dalam bahasa yang murni fungsional? Apa yang saya temukan sejauh ini tampaknya hanya berurusan dengan bahasa imperatif, hanyalah sebuah demonstrasi dari Prolog yang dilaksanakan dengan...
Apakah masalah "kehadiran pesta" dapat dipecahkan dalam Prolog? Sebagai contoh: Burdock Muldoon dan Carlotta Pinkstone berkata bahwa mereka akan datang jika Albus Dumbledore datang. Albus Dumbledore dan Daisy Dodderidge keduanya mengatakan mereka akan datang jika Carlotta Pinkstone datang. Albus...
Saya tahu itu dapat dibuktikan PROLOG adalah Turing-complete dengan membangun sebuah program yang mensimulasikan mesin Turing seperti ini: 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,...
Saya baru saja mengetahui tentang KRR (Representasi Pengetahuan dan Penalaran) dan ASP, tidak mendengar apa pun tentang mereka sebelumnya (kecuali sedikit tentang prolog). Saya sudah membaca sedikit tentang mereka dan salah satu penggunaan utama mereka tampaknya AI. Pertanyaan saya adalah seberapa...