Ενσωματωμένες δυνατότητες και επεκτάσεις της Prolog

Abstract

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

In this chapter, operators are initially examined, which are nothing more than function symbols and predicates that, once appropriately declared, can be used in a more syntactically readable way than using parentheses, which is the usual practice in Prolog. Additionally, the capabilities Prolog provides for arithmetic processing are presented through appropriate built-in predicates, arithmetic operators that are function symbols, and a built-in predicate for calculating the value of arithmetic expressions, as well as comparison operators that are predicates. There is also a reference to the cut, a built-in predicate that allows us to gain elementary control over the backtracking mechanism, as well as to negation and the way it is supported in Prolog. Finally, a series of other built-in predicates are studied, which are useful in cases where we want to perform tasks that would be very difficult or even impossible to implement directly in Prolog.