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

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 đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Tôi đặc biệt quan tâm đến các giải pháp cho vấn đề mà tìm kiếm được đóng gói có thể phụ thuộc vào thứ tự đánh giá. Theo [1], tìm kiếm được đóng gói trong PAKCS phụ thuộc vào thứ tự đánh giá, trong khi trong MCC thì không, nhưng …

8 reference-request  functional-programming  nondeterminism  logic-programming