SWI-Prolog
Terminology: "true", "entailed", "provable", "holds"
General
discussion
EricGT
August 8, 2020, 9:27am
24
Yes.
See:
Language highlighting
show post in topic
Related topics
Topic
Replies
Views
Activity
Prolog: Declarative, Procedural vs. Imperative readings / languages
Discussion
discussion
8
1612
August 17, 2021
What is meant by "meta-level" in logic programming?
General
20
294
August 24, 2024
Is the definition of "predicate" correct in the Glossary of Terms?
General
34
2827
September 30, 2021
Prolog FAQ (created with ChatGPT)
Wiki
chatgpt
0
856
February 17, 2023
Why do models not include derived rules?
General
8
154
August 27, 2024