คำถามติดแท็ก prolog

มีการอ้างอิงที่ชัดเจนด้วยการใช้รหัสหลอกเกี่ยวกับวิธีดำเนินการเกี่ยวกับการใช้ล่าม Prolog ในภาษาที่ใช้งานได้จริงหรือไม่? สิ่งที่ฉันได้พบจนถึงตอนนี้ดูเหมือนจะจัดการเฉพาะกับภาษาที่จำเป็นเท่านั้นเป็นเพียงการสาธิตของ Prolog ที่นำมาใช้ในตัวเองหรือไม่มีอัลกอริทึมที่เป็นรูปธรรมที่จะใช้สำหรับการตีความ ฉันจะซาบซึ้งมากกับคำตอบ

25 functional-programming  prolog  logic-programming 

คือ"การเข้าร่วมประชุมพรรค"ประเภทของปัญหาแก้ไขได้ในเปิดฉาก? ตัวอย่างเช่น: หญ้าเจ้าชู้ Muldoon และ Carlotta Pinkstone ทั้งคู่บอกว่าพวกเขาจะมาถ้า Albus Dumbledore มา Albus Dumbledore และ Daisy Dodderidge ทั้งคู่บอกว่าพวกเขาจะมาถ้า Carlotta Pinkstone มา Albus Dumbledore, Burdock Muldoon และ Carlotta Pinkstone ทุกคนบอกว่าพวกเขาจะมาถ้า Elfrida Clagg มา Carlotta Pinkstone และ Daisy Dodderidge ทั้งคู่กล่าวว่าพวกเขาจะมาหาก Falco Aesalon มา Burdock Muldoon, Elfrida Clagg และ Falco Aesalon ทุกคนบอกว่าพวกเขาจะมาถ้า Carlotta Pinkstone …

18 logic  constraint-programming  prolog  logic-programming 

ฉันรู้ว่ามันสามารถพิสูจน์ได้ว่า PROLOG นั้นเสร็จสมบูรณ์โดยการสร้างโปรแกรมที่จำลองเครื่องทัวริงดังนี้: 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], Rs1), perform(Q1, Ls1, Ls, Rs1, Rs). symbol([], b, []). …

15 programming-languages  turing-completeness  logic-programming  prolog