Adobe PDF
(444.89 kB)
| Title Details: | |
|
Intelligent Logic Programming Techniques |
|
| Authors: |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis |
| Reviewer: |
Tsadiras, Athanasios |
| Description: | |
| Abstract: |
The chapter includes a set of logic programming techniques aimed at the development of logic programs, such as the representation and solving of problems with incomplete data and symbolic programming. It explains the concept of non-deterministic programming and how such an approach is inherently supported by the execution model of Logic Programming. A particularly interesting technique, unique to Logic Programming, is the reverse use of arguments, which arises as a consequence of the declarative nature of logic programming and the absence of input-output argument definitions, allowing versatile use of predicates, with classic examples being list processing predicates. Finally, Incremental Programming techniques are presented, which are especially popular in Logic Programming since most implementations are interpreted, along with the top-down approach to program development.
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
| Handle | http://hdl.handle.net/11419/785 |
| Bibliographic Reference: | Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. (2015). Intelligent Logic Programming Techniques [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/785 |
| Language: |
Greek |
| Consists of: |
1. Κώδικας Prolog Κεφαλαίου 8 |
| Is Part of: |
Logic Programming Techniques |
| Publication Origin: |
Kallipos, Open Academic Editions |