Salut a tous les membres, je suis entrain de faire un article concerne les langages de programmation logique par contrainte booléens,
et je ne trouve pas assez de documentation sur la classe LPC(B).
Mais est-ce que la classe booléens est une classe depuis les 3 classes:
1-LPC(H): univers de Herbrand
2-LPC(R): réels
3-LPC(FD): domains finis; CHIP
ou elle est considérer comme cas ^particulier du LPC(FD).
et merci tout d'abord!
Partager