[Info-gnuprologjava] Writing dynamic and rules

[Daniel Warzecha]

Hello,

I just wanted to check if I remembered right:

Using the interpreter in Java, and having loaded a Prolog file with
ensureLoaded and runInitialization, can I assert facts like ":-
dynamic(initPassed/3)."?

Also, can I incorporate rules into the environment?

The reason I ask is I want to dynamically generate predicates and
rules at runtime with Java. It would be either doing the above or
generating the prolog file to parse with ensureLoaded. I would prefer
the dynamic generation, of course.

Bye,
Daniel W.