The background knowledge is given as a logic theory B, commonly in the form of Horn clauses used in logic programming.
Bir mantıksal kuram olarak verilen artalan bilgisi B {\displaystyle B} , genellikle mantık programlamada kullanılan Horn cümleleri şeklindedir.