La théorie des ensembles est une branche de la logique qui étudie des collections d'éléments distincts, appelés ensembles. Les sujets comprennent les opérations sur les ensembles (telles que l'intersection et l'union), les relations et les mappages entre les ensembles et l'ordre des éléments des ensembles (souvent via des prédicats binaires).
J'essaie de mettre en œuvre une routine de différence de liste dans Prolog.
Pour une raison quelconque, ce qui suit échoue: ERROR: '.'/2: Type error: `[]' expected, found ...
