> Note that this if-then statement is written backwards from how it’s written in English: the “then” part, the conclusion is written first, followed by the :- symbol. After the :- symbol come the premises
Why not write it like it’s written in English? It could be one less thing to learn for people trying to adopt the language.
Why not write it like it’s written in English? It could be one less thing to learn for people trying to adopt the language.
https://dusa.rocks/docs/introductions/graph/