Περίληψη: | Το κεφάλαιο εισάγει τον αναγνώστη στο συντακτικό της γλώσσας Prolog. Δίνεται αρχικά η σχέση μεταξύ του συντακτικού της Κατηγορηματικής Λογικής Πρώτης Τάξης και του συντακτικού της γλώσσας, ενώ μέσω απλών παραδειγμάτων, παρουσιάζονται τα δομικά στοιχεία ενός Prolog προγράμματος, δηλαδή τα Γεγονότα και οι Κανόνες. Δεδομένων αυτών παρουσιάζεται ο τρόπος αλληλεπίδρασης του χρήστη με το πρόγραμμα, δηλαδή τα ερωτήματα Prolog. Εισάγεται η έννοια της Λογικής μεταβλητής και τονίζεται η ιδιαιτερότητα της ανάθεσης τιμής σε αυτή καθώς και η διαφορά μεταξύ των γλωσσών μοναδικής και καταστροφικής ανάθεσης. Τέλος παρουσιάζονται οι σύνθετοι όροι, και τονίζεται το πως οι τελευταίοι αποτελούν την μοναδική αλλά ευέλικτη δομή δεδομένων στην Prolog.
|