Το σύστημα εκμάθησης της γλώσσας προγραμματισμού Prolog αναπτύχθηκε από την ομάδα λογικού προγραμματισμού και ευφυών συστημάτων (LPIS group). Το σύστημα αποτελείται από HTML σελίδες και multimedia υλικό, το οποίο στοχεύει να διδάξει στον χρήστη όχι μόνο τις βασικές αρχές της γλώσσας, αλλά και να του δώσει μέσω προχωρημένων τεχνικών και θεμάτων τα εφόδια για να γράψει ικανοποιητικού μεγέθους προγράμματα σε Prolog.
Αναλυτικότερα το υλικό που παρουσιάζεται αποτελείται από τις ακόλουθες ενότητες:
Την "Εισαγωγή στον Λογικό Προγραμματισμό", όπου δίνονται οι βασικές αρχές της μαθηματικής λογικής πρώτης ταξης (ορισμοί, θεωρήματα) πανω στις οποίες βασίζονται οι γλώσσες λογικού προγραμματισμού και ιδιαίτερα η Prolog.
Την ενότητα που τιτλοφορείται "Η γλώσσα Prolog". Η ενότητα αυτή περιλαμβάνει πολυμεσικό υλικό και αποτελεί το κύριο μέρος του οδηγού εκμάθησης. Το υλικό αποτελείται από θεωρητικά μέρη, παραδείγματα που δίνουν μια πλήρη περιγραφή της γλώσσας. Ο κώδικας μερικών εφαρμογών που εμφανίζονται μέσα στον οδηγό υπάρχει στον κατάλογο source_code.
Την ενότητα "Μερικά
Επιπλέον Παραδείγματα σε Prolog"
που περιλαμβάνει σχολιασμένα
παραδείγματα χαρακτηριστικών
προγραμμάτων σε Prolog. Ο κώδικας των
προγραμμάτων που παρουσιάζονται
δίνεται στο κατάλογο source_code_html. Τα
αρχεία αυτά μπορούν να φορτωθούν
και να εκτελεστούν σε οποιαδήποτε
έκδοση της γλώσσας Prolog.
Τέλος στις σελίδες της "Βιβλιογραφίας"
υπάρχουν προτεινόμενα
συγγράματα, ένω στην σελίδα με τους
δεσμούς του διαδικτύου ("Χρήσιμοι σύνδεσμοι στο
InterNet") υπάρχουν
μερικές οι διευθύνσεις μερικών
τόπων (sites) τα οποία έχουν
πληροφορίες σχετικές με το λογικό
προγραμματισμό.
Η εισαγωγή στον Λογικό
Προγραμματισμό δεν είναι
απαραίτητη για την εκμάθηση της
γλώσσας, περιέχει όμως γνώσεις
βασικές για κάποιον ο οποίος θα
θελήσει να εμβαθύνει στο λογικό
προγραμματισμό. Απαραίτητη είναι
φυσικά η ανάγνωση της ενότητας "Η
γλώσσα Prolog", καθώς αυτή
αποτελεί τον κύριο οδηγό εκμάθησης
της γλώσσας, καθώς και της ενότητας
των επιπλέον παραδειγμάτων. Για την
κατανόηση των παραδειγμάτων
απαραίτητη προϋποθέση είναι ο
αναγνώστης να έχει μελετήσει την
βασική ενότητα του οδηγού.
ομάδα του
