jnmonette questions

jnmonette answers

• Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")
• About building a list until it meets conditions
• How to express a disjunction of inequalities compactly without redundant answers/solutions
• Testing a too general program
• Defining "let expressions" in Prolog
• Square Puzzle Problem Solution with Constraint Programming
• valid bracket list in prolog