Η γλώσσα λογικού προγραμματισμού Prolog - Τα βασικά

Abstract

Στο κεφάλαιο αυτό παρουσιάζονται οι βασικές δυνατότητες της γλώσσας προγραμματισμού Prolog, η οποία είναι ο κυριότερος εκπρόσωπος της φιλοσοφίας του λογικού προγραμματισμού. Επίσης, παρατίθενται οι κυριότερες περιοχές εφαρμογών της Prolog και γίνεται μία σύντομη περιγραφή των τρόπων υλοποίησης συστημάτων Prolog. Όσον αφορά τις δυνατότητες της γλώσσας που θα θιγούν σ' αυτό το κεφάλαιο, αυτές περιλαμβάνουν την κωδικοποίηση στοιχειωδών γνώσεων, τη διατύπωση αναδρομικών ορισμών και τον υπολογισμό των απαντήσεων σε υποβαλλόμενες ερωτήσεις.

In this chapter, the initial focus is on how to write Prolog programs that express simple knowledge in the form of facts and rules, and submit queries for problem solving. Following this, there is a discussion on the capability of formulating recursive definitions using Prolog to encode world knowledge in a simple and elegant way. Additionally, the chapter presents the process used in Prolog to compute answers to submitted queries and the backtracking mechanism that is activated when this process reaches a dead end, allowing it to explore alternative proof possibilities. Finally, the main application areas of Prolog are briefly mentioned, along with the two approaches to implementing Prolog systems, via interpreters and compilers.