miniserveur@ifrance.com writes:

merci pour toutes ces explications !

euh, j'envisage plusieurs methodes pour eliminer les faits.
comment implanter une methode SL resolution en prolog :

exemple

{ a u b u non c, a u non b u c, non a u b u c, nona}

ou je voudrais eliminer a et deduire ainsi b , c comme elements
restants.

je voudrais appliquer cette methode pour mon programme d activités

Comme indiqué.

De quoi parle-t'on?
Quelles sont les règles?


On peut représenter une telle expression comme une liste disjonctive
de conjonctions representées comme listes de faits de négations.

[[a,b,non(c)],[a,non(b),c],[non(a),b,c],[non(a)]]

Ou bien comme un arbre:
et(ou(a,ou(b,non(c))),et(ou(a,ou(non(b),c)),et(ou(non(a),ou(b,c)),non(a))))

un ou mélange:
et([ou([a,b,non(c)]),ou([a,non(b),c]),ou([non(a),b,c]),ou([non(a)])])


Une fois qu'on a choisi une représentation, il suffit d'écrire en
prolog l'algorithme SL.


--
__Pascal Bourguignon__                     http://www.informatimago.com/
Until real software engineering is developed, the next best practice
is to develop with a dynamic system that has extreme late binding in
all aspects. The first system to really do this in an important way
is Lisp. -- Alan Kay