Since recently we have introduce hierarchical knowledge bases. They are already used in the Swing GUI, but not in the Android GUI. Every Swing console window runs in its own sub knowledge base which provides a separate class loader. The current knowledge base stack can be listed by the store/0 command:Example, in Swing GUI:
?- stores.Example, in Android GUI:
Knowledge base properties can be query by the predicate
store_property/2. The predicates set_store_property/2 and
reset_store_property/2 serve updating knowledge base properties.
The predicate current_store/1 can be used to enumerate the managed
The following predicates for stores are provided: