š§ Computational LogicResolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability