Q1.2 + extension pour gnu prolog