Adobe PDF (652 kB)
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