Untitled

Dynamic Programming Scheduler in Prolog
course('CS 4812','Quantum Information Processing',1.0882353,s2012).
course('Math 6110','Real Analysis I',0.5441176,f2011).

:- dynamic(stored/6).
memo(Result,Schedule,F11,S12,F12,S13) :-
  stored(Result,Schedule,F11,S12,F12,S13) -> true;
  dpScheduler(Result,Schedule,F11,S12,F12,S13),
  assertz(stored(Result,Scheduler,F11,S12,F12,S13)).

dpScheduler((Acc,X),Acc,0,0,0,0) :-
  !, evalSchedule(X,Acc).

dpScheduler(Answer,Acc,N,B,C,D) :-
  !, M is N - 1,
  getCourses(Courses,f2011,Acc),
  lemma([Head|Tail],Courses,Acc,M,B,C,D),
  findBest(Answer,Tail,Head).

lemma(Results,Courses,Acc,F11,S12,F12,S13) :-
  findall(Result,
    (member(Course,Courses), memo(Result,[Course|Acc],F11,S12,F12,S13)),
    Results).