Jean-Jacques Chabrier François Jacquenet VEGA: une nouvelle méthode de programmation en logique. 121-142 1988 conf/jfplc/1988 SPLT db/conf/jfplc/jfplc1988.html#ChabrierJ88