Typing with keyboard S4 broken When I try to type in the REPL random characters appear next to the one I type. For example when I want to type likes(X, Y) and I type "li" it becomes "lli" and subsequently "llilik" when I add "k". It is impossible to use like this.
Needs better exception treatment. Unifications like X = [X] simply crash the interpreter. Definitions like p(X):-q(X). q(X):-p(X). make it loop forever without a possibility to abort the execution. The abort function from the menu does not work in this case. UPD: v1.0.4 still impossible to abort sometimes, for example, try goal p(X, s(1), Z) with theory p(s(X),Y,s(Z)) :- p(X,Y,Z). p(1,Y,s(Y)). Let it loop for some seconds and try to abort. It does not, and the interpreter later crashes with an out of memory error.
PROLOG I seeked for SWI prolog and I final got this, as of its app size good but some issues in logics. Can't get my actual inferences from KB. hope developer will test small programs. Thanks!
Release 1.0.7 (July 20., 2015):
- New answer-loop REPL.
- Fixed some bugs in module system.
- Doesn't work with all vendor soft keyboards.
- Keyboard hides the text input line sometimes.