Prolog Extension to