Câu hỏi được gắn thẻ «prolog»

Có một tài liệu tham khảo rõ ràng, với mã giả, về cách thực hiện trình thông dịch Prolog bằng ngôn ngữ thuần túy? Điều mà tôi đã tìm thấy cho đến nay dường như chỉ đối phó với các ngôn ngữ bắt buộc, chỉ đơn thuần là một minh …

25 functional-programming  prolog  logic-programming 

Là loại "tham dự bữa tiệc" có thể giải quyết được trong Prolog không? Ví dụ: Burdock Muldoon và Carlotta Pinkstone đều nói rằng họ sẽ đến nếu Albus Dumbledore đến. Albus Dumbledore và Daisy Dodderidge đều nói rằng họ sẽ đến nếu Carlotta Pinkstone đến. Albus Dumbledore, Burdock Muldoon …

18 logic  constraint-programming  prolog  logic-programming 

Tôi biết rằng có thể chứng minh PRITAL là Turing-Complete bằng cách xây dựng một chương trình mô phỏng máy Turing như thế này: 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) :- …

15 programming-languages  turing-completeness  logic-programming  prolog 

Gần đây tôi đã phát hiện ra KRR (Đại diện kiến ​​thức và lý luận) và ASP, không nghe thấy gì về họ trước đây (ngoại trừ một chút về prolog). Tôi đã đọc một chút về họ và một trong những cách sử dụng chính của họ dường như …

9 prolog