jupyter-swi-prolog
jupyter-swi-prolog copied to clipboard
Make lines starting with `:-` also be queries
One often sees lines like :- use_module(library(clpfd)). in examples. This will not currently work in this kernel as every line not starting with ?- is sent to an assertz statement.
Solution: Handle lines starting with :- the same way as lines starting with ?-, i. e. as queries.
No, better idea: Treat them as queries but without any output.