Simple Light Application for Prolog Testing