Logic Programming Fundamentals (Paperback)

Boutkhil Sidaoui

ISBN 10: 6208118344 / ISBN 13: 9786208118341

Editore: LAP Lambert Academic Publishing, 2025

Paperback. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9786208118341

Riassunto:

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.

Dati bibliografici

Titolo: Logic Programming Fundamentals (Paperback)
Casa editrice: LAP Lambert Academic Publishing
Data di pubblicazione: 2025
Legatura: Paperback
Condizione: new