Report question

Question: Prolog SAT Solver