A collection of prolog scripts