#4 GUI: prolog requests

[Loïs Vanhée]

When I write a consequent program, my database get easily huge.
When I want to perform a belief query, I often get an unexpected result without the ability to query by hand the belief base in order to know the reason.

Is it possible to add facilities to easily query the belief/goal base ?