Prolog Scheduler