Logic programming systems such as Prolog compute the consequences of the axioms and rules in order to answer a query.
Τα συστήματα του λογικού προγραμματισμού, όπως η Prolog, υπολογίζουν τις συνέπειες των αξιωμάτων και των κανόνων, προκειμένου να απαντήσουν σε ένα ερώτημα.