I am curious about what people here consider good terminology. Suppose we have the program:
human(socrates).
human(plato).
mortal(X):-human(X).
From my perspective i would be inclined to say that mortal(socrates) “is entailed”, “is provable”, or “holds”. I like “true” less because i (naively) interpret this as true in the sense of corresponding to states of affairs (i know that in Prolog true simply means “provable”). I think that “holds” is nice and short.
Cheers/Jean-Christophe