docLe langage Prolog
download 
Plainte Documents pareils
Le langage Prolog - --- programmation en logique
op(+Precedence, +Type, :Name) : Declare Name to be an operator of type
Type with precedence Precedence.
Precedence is an integer between 0 and 1200. Type is one of : xf, yf, xfx,
xfy, yfx, yfy, fy ...
