Logic Programming: Fundamentals and Applications

Fouad Sabry

ივნ. 2023 · Artificial Intelligence წიგნი 45 · One Billion Knowledgeable

ელწიგნი

123

გვერდი

მისაღები

რეიტინგები და მიმოხილვები დაუდასტურებელია შეიტყვეთ მეტი

აუდიოწიგნზე გადართვა

ამ ელწიგნის შესახებ

What Is Logic Programming

A paradigm for computer programming known as logic programming is one that relies heavily on formal logic. Any program that is developed in a logic programming language is merely a collection of statements that are formatted in a logical manner and represent facts and rules regarding a particular issue domain. The answer set programming (ASP) and the Datalog programming languages belong to the major families of logic programming languages. Clauses are the fundamental unit of expression for writing rules in each of these languages:

H :- B1, ..., Bn.

How You Will Benefit

(I) Insights, and validations about the following topics:

Chapter 1: Logic programming

Chapter 2: Prolog

Chapter 3: Declarative programming

Chapter 4: Horn clause

Chapter 5: Datalog

Chapter 6: Definite clause grammar

Chapter 7: Constraint logic programming

Chapter 8: SLD resolution

Chapter 9: Abductive logic programming

Chapter 10: Syntax and semantics of logic programming

(II) Answering the public top questions about logic programming.

(III) Real world examples for the usage of logic programming in many fields.

Who This Book Is For

Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of logic programming.

ავტორის შესახებ

Fouad Sabry is the former Regional Head of Business Development for Applications at HP. Fouad has received his B.Sc. of Computer Systems and Automatic Control in 1996, dual master’s degrees from University of Melbourne (UoM) in Australia, Master of Business Administration (MBA) in 2008, and Master of Management in Information Technology (MMIT) in 2010. Fouad has more than 30 years of experience in Information Technology and Telecommunications fields, working in local, regional, and international companies, such as Vodafone and IBM. Fouad joined HP in 2013 and helped develop the business in tens of markets. Currently, Fouad is an entrepreneur, author, futurist, and founder of One Billion Knowledge (1BK) Initiative.

შეაფასეთ ეს ელწიგნი

გვითხარით თქვენი აზრი.

ინფორმაცია წაკითხვასთან დაკავშირებით

სმარტფონები და ტაბლეტები

დააინსტალირეთ Google Play Books აპი Android და iPad/iPhone მოწყობილობებისთვის. ის ავტომატურად განახორციელებს სინქრონიზაციას თქვენს ანგარიშთან და საშუალებას მოგცემთ, წაიკითხოთ სასურველი კონტენტი ნებისმიერ ადგილას, როგორც ონლაინ, ისე ხაზგარეშე რეჟიმში.

ლეპტოპები და კომპიუტერები

Google Play-ში შეძენილი აუდიოწიგნების მოსმენა თქვენი კომპიუტერის ვებ-ბრაუზერის გამოყენებით შეგიძლიათ.

ელწამკითხველები და სხვა მოწყობილობები

ელექტრონული მელნის მოწყობილობებზე წასაკითხად, როგორიცაა Kobo eReaders, თქვენ უნდა ჩამოტვირთოთ ფაილი და გადაიტანოთ იგი თქვენს მოწყობილობაში. დახმარების ცენტრის დეტალური ინსტრუქციების მიხედვით გადაიტანეთ ფაილები მხარდაჭერილ ელწამკითხველებზე.

უკანონო კონტენტის შესახებ მოხსენება