: Tracing the development from basic logic rules to the specialized Prolog environment Prolog Programming
Prolog works by using a resolution-based theorem prover to deduce new information from given facts. The resolution algorithm is used to find a solution to a goal by searching through the program's clauses. logic and prolog programming by saroj kaushik pdf free