-
|
Let's say I have a quad in my file. foo(X) :- X=1.
?- foo(1).
true.Isn't this runnable as some form of automation? |
Beta Was this translation helpful? Give feedback.
Answered by
triska
Oct 21, 2025
Replies: 1 comment 5 replies
-
|
Yes! @dcnorris already automates these tests in |
Beta Was this translation helpful? Give feedback.
5 replies
Answer selected by
jjtolton
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Yes! @dcnorris already automates these tests in
quadtests.pl, please have a look!