Σύνδεση της κλασικής - θεωρητικής Πληροφορικής με τις νέες τάσεις τεχνολογίας πάνω σε θέματα Συστημικής Ανάλυσης και Γενικευμένων Αυτόματων Συστημάτων Αποφάσεων. Αναλύεται πλήρως η γλώσσα λογικού προγραμματισμού πέμπτης γενιάς Turbo PROLOG της Borland με λειτουργικό σύστημα DOS, αλλά και σε τοπικά δίκτυα μικροϋπολογιστών πλήρως συμβατά με το Token ring της IBM.