Σκοπός του μαθήματος είναι να εισάγει στην επιστημονική περιοχή της Λογικής και του Λογικού Προγραμματισμού παρουσιάζοντας την ιστορική εξέλιξη αυτής, μελετώντας ώριμες τεχνολογίες, και περιγράφοντας σύγχρονες τάσεις αναφορικά σε ένα ευρύ φάσμα πρακτικών εφαρμογών.

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