Title Details: | |
Syntax of Prolog Programs |
|
Authors: |
Sakellariou, Ilias Vasileiadis, Nikolaos Kefalas, Petros Stamatis, Dimosthenis |
Reviewer: |
Tsadiras, Athanasios |
Description: | |
Abstract: |
The chapter introduces the reader to the syntax of the Prolog language. It begins by establishing the relationship between the syntax of First-Order Predicate Logic and that of Prolog. Through simple examples, the fundamental components of a Prolog program—namely Facts and Rules—are presented. Based on these, the interaction between the user and the program is explained, specifically through Prolog queries. The concept of a logical variable is introduced, with emphasis on the unique way value assignment is handled, as well as the distinction between single-assignment and destructive-assignment languages. Finally, compound terms are presented, highlighting how they serve as the only but highly flexible data structure in Prolog.
|
Type: |
Chapter |
Creation Date: | 2015 |
Item Details: | |
License: |
http://creativecommons.org/licenses/by-nc-sa/3.0/gr |
Handle | http://hdl.handle.net/11419/781 |
Bibliographic Reference: | Sakellariou, I., Vasileiadis, N., Kefalas, P., & Stamatis, D. (2015). Syntax of Prolog 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/781 |
Language: |
Greek |
Consists of: |
1. Ένα πρώτο Prolog Πρόγραμμα 2. Κώδικας Prolog Κεφαλαίου 4 |
Is Part of: |
Logic Programming Techniques |
Publication Origin: |
Kallipos, Open Academic Editions |