0
$\begingroup$

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?

  • 0
    See my answer and comments [here](https://math.stackexchange.com/q/2370563).2017-07-24

1 Answers 1