Can I read Introduction to Logic Programming on EtoBox?
Introduction to Logic Programming by Anurag Sharma is a document available to read on EtoBox.
What is Introduction to Logic Programming about?
The document provides an introduction to logic programming. It defines logic programming as a way to write computer programs using languages based on formal logic. Programs in logic programming languages consist of facts and rules, and execution involves theorem proving via logic inferences. The document gives examples of logic programs in Prolog for tasks like determining relationships and calculating sums, and explains some basic elements of Prolog like terms, facts, and rules.
- Author
- Anurag Sharma
- Language
- EN