๐ง Computational LogicResolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability