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
Proper terminology for Logic Programming and Prolog. The word "atom"
General
3
732
August 18, 2020
Prolog: Declarative, Procedural vs. Imperative readings / languages
Discussion
discussion
8
1564
August 17, 2021
Does Prolog have a formal semantics?
Discussion
1
384
September 30, 2021
The semantics of (Goal,false)
Nice to know
10
474
November 3, 2021
Praise for Prolog, Designing Custom Language Semantics
Nice to know
0
324
February 10, 2021