Prolog scripts

enough said