Prolog queries can be executed with the help of the PrologNextSolution function: this retrieves a solution to the open query represented by the query identifier given as the parameter. Returns 1 on success, 0 on failure, -1 on error.
PrologNextSolution