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