summaryrefslogtreecommitdiff
path: root/readme.md
diff options
context:
space:
mode:
Diffstat (limited to 'readme.md')
-rw-r--r--readme.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/readme.md b/readme.md
index d344e79..0cfc75b 100644
--- a/readme.md
+++ b/readme.md
@@ -121,6 +121,10 @@ You can test stuff in a python interpreter:
>>> prolog.test(231, 96, 'sister(X,Y):- parent(P,X), parent(P,Y), female(X).')
>>> prolog.hint(231, 96, 'sister(X,Y):- parent(P,X), parent(P,Y), female(X).')
+To check for errors in hint definitions you can use the problem_html script:
+
+ python3 -m scripts.problem_html python introduction ballistics sl > out.html
+
Traces
======