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) inte…

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

EricGT August 8, 2020, 9:27am 24

Yes.

Topic		Replies	Views
Prolog: Declarative, Procedural vs. Imperative readings / languages Discussion discussion	8	1593	August 17, 2021
Is the definition of "predicate" correct in the Glossary of Terms? General	34	2790	September 30, 2021
Pure and correct Prolog - what is it? (Creating Prolog Cookbook) Looking for Group	19	1979	January 30, 2020
Very brief summary of Prolog Help!	10	1258	May 22, 2019
Example of a compact explanation of key concepts in Prolog? Help!	11	617	May 18, 2019