kAtomOffset is used only from yap engine.
Implement generation of requirements clauses.
Use required_fact/2 and required_action/2.
Do not declare unecessary slot variables for YAP 6.2.
Implement partial goal computation in prolog.
Implement GetPartialGoals().