Hi there. I'd love to know if it is possible to add facts to the knowledgebase during run-time with GNU Prolog for Java, and if so how it is done.

For example, let's say I load a file that has simply;
hungry(bill).
hungry(bob).

Might I, during runtime, add the fact 'hungry(dave)'.
A primitive way to do this would be to append to the string to  the file the facts are loaded from, but that seems rather ridiculous.

I imagine I'd need to build a CompoundTerm with hungry as the functor and dave as a single argument but I don't know  I can add this as a fact to the environment.

Thanks for any help you can give me.