I am trying to understand the concept of entailment when used within the context of inductive logic programming. Could somebody explain this to me?
In other words: if A entails B, this means that B is true when A is true. However how can I understand this in practice? For example, assuming the following:
append(c(U, V), W, c(U,X))) :- append(V, W, X) . (let's call this A)
and
append,(c(U1, c(V1,W1), X1, c(U1, c(V1,Y1)))) :- append(W1, X1, Y1) (let's call this B)
could I say that A entails B? If so, how?