Currently It's really cumbersome to discover how to tweak the KLISPE APP.
There are a couple of hotkeys and url parameters documented here: http://blog.klipse.tech/clojure/2016/03/27/klipse-manual.html

Here are a couple of ideas - given by @pesterhazy how to do that:

• Like github.com narrow top bar
• Like reddit.com tab-like rider
• Like this

As of this post, there are only links to the next chapter at the top of the page. I'm not there when I want to go to the next chapter, because I've scrolled all the way to the bottom. Links at the bottom would make it easier to continue reading.

Now that char_type is implemented, I'd like to see Simon Forman's Thun interpreter ported to Scryer Prolog:

https://osdn.net/projects/joypy/scm/hg/Joypy/blobs/tip/thun/thun.pl

The interpreter is wonderfully demonstrative of Prolog's strengths. But, it needs a few small changes in order to conform to the ISO standard. Also, you'll notice from the source that it uses a few less-than-common U

Currently we give a 500 when we try to do an insert/delete if the variable is unbound. Instead we should throw a nice JSON error that can be interpreted on the client.

e.g.

{"when" : [ {"true" : []}, 
                 {"insert" : ["v:a", "v:b", "v:c"]}]}

The emscripten setup seems a bit of a mess. After some tweaking with various scripts I got emscripten to run (from the latest git). Then I get somewhere using this, which notably changes the location of the toolchain file.

WASM_HOME=$HOME/wasm
source $WASM_HOME/emsdk/emsdk_env.sh
TOOLCHAIN=$EMSDK/upstream/emscripten/cmake/Modules/Platform/Emscripten.cmake
[ -f $TOOLCHAIN ] || echo "

The B-Prolog 8.1 native random number generator returns random integers, both positive and negative, with no documentation on their range. Given that B-Prolog also claims that its implementation of integer arithmetic is unbound, we cannot use its native random number generator as basis to generate random numbers in a given interval.

For easier integration (or porting) with the existing Prolog libraries/programs, since DCG are popular in Prolog world.

number --> digit, number_remaining.
number_remaining --> dot,number_remaining.
number_remaining --> digit,number_remaining.
number_remaining([],[]).
dot -->[0'.].
digit --> [J], {digit_code(J)}.
digit_code(J):- J >= 0'0, J =< 0'9.