GNU Prolog with Contextual Logick support