When using Jekejeke Android Prolog, how can I end the database file? ?- [user]. ... <- here Ctrl-D, Ctrl-Z, Ctrl-C and so on do not work. Thank you.

0 votes
No avatar asked by (120 points) about Jekejeke Prolog Runtime

When using Jekejeke Android Prolog, how can I end the database file?
?- [user].
...
<- here
Ctrl-D, Ctrl-Z, Ctrl-C and so on do not work.
Thank you.

2 Answers

0 votes
answered by (140 points)

The right answer is double click on the "Back" Android button. I already wrote this, but the answer disappeared. Maybe it was mistake, maybe somebody thinks the answer is wrong - but it works.

0 votes
answered by

Hi, I guess one click on the Android Back Button is enough.
If you use two clicks, you will also exit the Top Level.

See also:
http://www.jekejeke.ch/idatab/doclet/blog/en/docs/ext/01_general/098_help/topic_999744.html

Your answer

Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
To avoid this verification in future, please log in or register
...