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	1697	August 17, 2021
Sets of rules as conjunctions and/or disjunctions General	42	533	August 16, 2026
What is meant by "meta-level" in logic programming? General	16	452	August 24, 2024
Is the definition of "predicate" correct in the Glossary of Terms? General	34	3017	September 30, 2021
Hillel Wayne: "My Gripes with Prolog" General discussion	11	403	February 3, 2026

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

Related topics