Η χρήση των κανονικών προγραμμάτων ως μέσο αναπαράστασης γνώσης αλλά και για υπολογισμούς, υλοποιείται μέσω του λογικού προγραμματισμού. Σύμφωνα με τον ορισμό ενός κανονικού προγράμματος, ένα κανονικό λογικό πρόγραμμα είναι ένα πεπερασμένο σύνολο κανονικών προτάσεων. Κάθε λεκτικό στοιχείο που εμφανίζεται σ' ένα στόχο ή στο σώμα μιας πρότασης θα ονομάζεται υποστόχος (subgoal). Η σύνταξη, η σημασία αλλά και το υπολογιστικό μοντέλο του λογικού προγραμματισμού, περιγράφονται στη συνέχεια.