Prolog Demo File