Οι σελίδες που ακολουθούν αποτελούν μια μικρή αλλά περιεκτική εισαγωγή στις βασικές αρχές της Μαθηματικής λογικής και του λογικού προγραμματισμού. Στόχος τους είναι να φέρουν τον αναγνώστη σε μια πρώτη επαφή με τις αρχές στις οποίες στηρίχθηκε η ανάπτυξη των γλωσσών λογικού προγραμματισμού και ιδιαίτερα η γλώσσα Prolog.
Η ανάγνωση του κεφαλαίου αυτού δεν είναι απαραίτητη για την εκμάθηση της γλώσσας Prolog, όμως παρέχει σημαντικές συμπληρωματικές γνώσεις απαραίτητες για κάποιον ο οποίος θέλει εμβαθύνει περισσότερο στον λογικό προγραμματισμό.
Στις σελίδες αυτές γίνεται σύντομη ανάπτυξη των ακόλουθων θεμάτων: