clpb

14Nhiệt

4Trả lời

Prolog SAT Solver

Tôi đang cố gắng xây dựng một giải pháp Prolog SAT đơn giản. Ý tưởng của tôi là người dùng nên nhập công thức boolean để được giải quyết trong CNF (Conjuctive Normal Form) sử dụng danh sách Prolog, ví

prolog boolean-logic clpb 2011-02-09

---