Introduction to Logic and Logic Programming

A comprehensive introduction to logic programming, covering symbolic logic, Prolog, and automated reasoning for problem-solving.