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
1588
August 17, 2021
What is meant by "meta-level" in logic programming?
General
20
211
August 24, 2024
Is the definition of "predicate" correct in the Glossary of Terms?
General
35
2787
September 30, 2021
Prolog FAQ (created with ChatGPT)
Wiki
chatgpt
0
832
February 17, 2023
Why do models not include derived rules?
General
8
136
August 27, 2024