move prolog stuff
move redex stuff