How do we actually test/enforce with quads?

[jjtolton]

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?

[triska]

Yes! @dcnorris already automates these tests in quadtests.pl, please have a look!

[jjtolton]

Actually it doesn't appear that's usable outside that module.

[jjtolton]

But I will see if I can replicate the technique.

[dcnorris]

Ideally, the predicates in quadtests.pl would be expanded, generalized, and moved up out of numerics/ subdir as a broadly applicable testing facility. Presumably, we would want these to get run by cargo test?

Note that this is by contrast with numerics/testutils.pl, which contains predicates specifically for testing numerical routines.

[dcnorris]

Also pinging @bakaq, as he has been thinking about these issues.

[jjtolton]

https://github.com/jjtolton/quads