The background knowledge is given as a logic theory B, commonly in the form of Horn clauses used in logic programming.
Предходно знање је дато као логичка теорија B {\displaystyle B} , обично у облику Хорн клаузуле које се користе у логичком програмирању.