Runs the forward chaining inference engine in the current inferencing state, with contexts as the initial agenda. The first rules to fire will be from the first context listed in contexts until control is passed on.
The value returned as cycle-count is the total number of cycles executed (given in current-cycle).
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011