Terminology: "true", "entailed", "provable", "holds"

Is this free? I thought it required a paid subscription.

If it is free I plan to add it to Useful Prolog references