Logic Programming Fundamentals: Basics, Syntax, and Semantics - Boutkhil Sidaoui
-20% with code BOOKS
Shipping in 15-21 days
30-day return policy
Prolog (Programming in Logic) is a high-level declarative language rooted in formal logic. Unlike imperative languages, Prolog programs are composed of facts and rules, with computation achieved through logical inference, primarily using unification and backtracking based on first-order logic. Prolog excels in domains requiring reasoning, pattern matching, and symbolic processing, and is widely applied in a ... Full description
You May Also Like
Description
Prolog (Programming in Logic) is a high-level declarative language rooted in formal logic. Unlike imperative languages, Prolog programs are composed of facts and rules, with computation achieved through logical inference, primarily using unification and backtracking based on first-order logic. Prolog excels in domains requiring reasoning, pattern matching, and symbolic processing, and is widely applied in artificial intelligence, expert systems, knowledge representation, constraint logic programming, theorem proving, natural language processing, and machine learning.This book offers a comprehensive introduction to Prolog, covering its syntax, semantics, and logic programming principles. It begins with a historical and conceptual overview, then uses practical examples to guide readers from basic elements to building and executing full programs, effectively bridging theory and practice to support deep learning of logic programming.
More Information
| Author | Boutkhil Sidaoui |
|---|---|
| Publisher | LAP LAMBERT Academic Publishing |
| Release year | 2025 |
| Cover type | Softcover |
| EAN | 9786208118341 |