1) Σταθερές και Μεταβλητές 2) Γεγονότα 3) Ερωτήσεις 3.1) Ερωτήσεις σε Γεγονότα 3.2) Ερωτήσεις με μεταβλητές 3.3) Ερωτήσεις με ανώνυμες μεταβλητές 3.4) Σύνθετες ερωτήσεις 4) Κανόνες 4.1) Ορισμός Κανόνα 4.2) Ενσωμάτωση στο Πρόγραμμα 4.3) Αναδρομικοί Κανόνες