Συμπερασμός στη λογική πρώτης τάξης. Προς τα εμπρός αλυσίδα εκτέλεσης. Προς τα πίσω αλυσίδα εκτέλεσης. Ανάλυση.
Αναφορά Δημιουργού - Παρόμοια Διανομή CC BY-SA