jupyter-swi-prolog

jupyter-swi-prolog copied to clipboard

kernel crashes

1

Traceback (most recent call last): File "G:\Python3105\lib\site-packages\tornado\web.py", line 1713, in _execute result = await result File "G:\Python3105\lib\asyncio\tasks.py", line 304, in __wakeup future.result() File "G:\Python3105\lib\site-packages\tornado\gen.py", line 776, in run yielded =...

amryounis

If `swipl` is accessible from a shell, executing `swipl --dump-runtime-variables` will dump the SWIPL runtime variables: ``` $ swipl --dump-runtime-variables PLBASE="/usr/local/Cellar/swi-prolog/8.0.2_2/libexec/lib/swipl"; PLARCH="x86_64-darwin"; PLBITS="64"; PLVERSION="80002"; PLSOEXT="so"; PLSOPATH="DYLD_LIBRARY_PATH"; PLLIBDIR="/usr/local/Cellar/swi-prolog/8.0.2_2/libexec/lib/swipl/lib/x86_64-darwin"; PLLIB="-lswipl"; PLSHARED="yes"; PLTHREADS="yes";...

rljacobson

Installed jswipl 1.0.2 on python 3.6. It works great with the working example ``` man(socrates). mortal(X) :- man(X). ?- mortal(socrates). ?- mortal(X). ?- mortal(bob) ``` I tried something more complex,...

smartinsightsfromdata

Output to stdout/stderr is lost

1

When prolog wants to output things (e. g. via `write` or `portray_clause`) the output is lost. It goes to the terminal where jupyter is running but does not end up...

targodan

Make lines starting with `:-` also be queries

1

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....

targodan

Some errors are not caught. They end up hanging the kernel and writing to stdout/stderr directly. TODO: Catch these. Maybe pyswips query parameters can help.

targodan

Hi I've gotten this to work with swi-prolog and nbgrader...mostly. I haven't been able to make this work using "hidden tests" though. Has anybody got that work? thanks, mike h.

hammondm