In logic programming, a program consists of a set of axioms and rules.
Στο λογικό προγραμματισμό, ένα πρόγραμμα αποτελείται από ένα σύνολο αξιωμάτων και κανόνων.