Adobe PDF
(518.7 kB)
| Title Details: | |
|
First-Order Categorical Logic and Logic Programs |
|
| Authors: |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis |
| Reviewer: |
Tsadiras, Athanasios |
| Description: | |
| Abstract: |
The chapter offers a brief introduction to mathematical logic, with a focus on first-order predicate logic (FOPL). It presents the fundamental elements of logic, such as the syntax of predicate terms, logical operators, and proof procedures. Emphasis is placed on the resolution principle and its importance in the automated solving of problems. Finally, the chapter concludes with the presentation of the normal forms of logic, as defined by Kowalski and Horn, which are used in the Prolog language.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/780 |
| Bibliographic Reference: | Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. (2015). First-Order Categorical Logic and Logic Programs [Chapter]. In Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. 2015. Logic Programming Techniques [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/780 |
| Language: |
Greek |
| Is Part of: |
Logic Programming Techniques |
| Publication Origin: |
Kallipos, Open Academic Editions |