Adobe PDF
(644.86 kB)
| Title Details: | |
|
Semantics of Logic Programs |
|
| Authors: |
Stamatopoulos, Panagiotis |
| Reviewer: |
Rontogiannis, Panagiotis |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES > LOGIC PROGRAMMING |
| Description: | |
| Abstract: |
In this chapter, the model theoretic semantics of logic programming is presented, which is based on interpretations and models, with the ultimate goal of studying the semantics of definite programs. Additionally, the fixed point semantics and the immediate consequence operator are discussed, as well as the operational semantics through the application of an inference rule, the SLD-resolution.
|
| Linguistic Editors: |
Xifara, Foteini |
| Technical Editors: |
Papavasileiou, Spyridon |
| Graphic Editors: |
Papavasileiou, Spyridon |
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/3594 |
| Bibliographic Reference: | Stamatopoulos, P. (2015). Semantics of Logic Programs [Chapter]. In Stamatopoulos, P. 2015. Logic and Functional Programming [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/3594 |
| Language: |
Greek |
| Is Part of: |
Logic and Functional Programming |
| Publication Origin: |
Kallipos, Open Academic Editions |