Programming Language Prolog
Prolog or PROgramming in LOGics is a fourth generation logical and declarative programming language that is suitable for writing programs that involve symbolic or non-numeric computation.
In Prolog, statements in the program are used to express the facts and rules about different problems within a system of formal logic.
The rules are written as logical clauses having a head and a body. For example, if H is head and B1, B2, B3 are the elements of the body, then “H is true, when B1, B2, B3 all are true”.
You can consider facts as rules that are without any body. For example, “H is true”.
Logic and Functional Programming
We have already seen the difference between a Logic programming language and a traditional functional ...
Get Artificial Intelligence: Beyond Classical AI now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
