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…

To sidestep the problem completely, when I talk (to myself) about Prolog programs that could be executed on a computer, I prefer the most operational vocabulary possible. I would say things like: The query ?- mortal(socrates). succeeds. The opposite is “The query fails”. I understand that this …

@Boris thanks for the tip. “Holds” and “entailed” have a more logical flavour, which i like, but it is strange to say things like writeln(socrates) is provable :slight_smile:

In other words, @Boris subscribes to the logo of the Association for Logic Programming newsletter. [image]

[image] peter.ludemann: Association for Logic Programming newsletter. Is this free? I thought it required a paid subscription. If it is free I plan to add it to Useful Prolog references

[image] EricGT: Is this free? I thought it required a paid subscription. As far as I know, I haven’t paid for it, nor been asked for payment. (Although maybe I’m “grandfathered” in …)

[image] peter.ludemann: In other words, @Boris subscribes to the logo of the Association for Logic Programming newsletter. Does that mean that I subscribe to the statement: “Entails” is equivalent to “derives from”. ? I browsed around the newsletter a little bit but I didn’t easily find…

I understood about 50% of the difference between semantic entailment and syntactic entailment by reading this . Maybe i have to take a philosophy course at my uni :smile:

If i understand this correctly, Prolog returns anything that is syntactically entailed as well semantically entailed?

Interesting. For me one of the fascinating things with Prolog is the intersection between logic and programming.

Since Hornclauses are a fragment of FOL, it also holds for pure Prolog. Shouldn’t this be the opposite? Horn clauses are a fragment, so they are pretty certain to not derive everything that is true in a Model (to speak not even about a conclusion being unreachable for practical reasons). Just le…

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

General

EricGT August 8, 2020, 9:27am 24

Yes.

See: Language highlighting

Topic		Replies	Views
Prolog: Declarative, Procedural vs. Imperative readings / languages Discussion discussion	8	1689	August 17, 2021
What is meant by "meta-level" in logic programming? General	16	435	August 24, 2024
Is the definition of "predicate" correct in the Glossary of Terms? General	34	3009	September 30, 2021
Hillel Wayne: "My Gripes with Prolog" General discussion	11	390	February 3, 2026
Sets of rules as conjunctions and/or disjunctions General	38	335	August 9, 2026

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

Related topics