Les Bases de Prolog IV - Colmerauer, Alain

Tab. 3 – Exemples d’appartenances à des sous-domaines privilégiés de base
» X ~ tree; % 1
X ~ finite; % 2
X ~ infinite; % 3
X ~ list; % 4
X ~ nlist; % 5
X ~ [tree,tree,tree]; % 6
X ~ [cc(1,2),co(4,8.1),gt(‘>9.1‘),real]; % 7
X ~ [cc(1,2) u co(4,8), gt(9), real]; % 7 variante
X ~ leaf; % 8
X ~ nleaf; % 9
X ~ ident; % 10
X ~ nident; % 11
X ~ oc(‘8.1‘),gt(‘>9.1‘),real];
X ~ [co(1,8),gt(9),real];
X ~ leaf;
X ~ nleaf;
X = ident;
X = nident;
X ~ oc(‘