FootNote

Voir par exemple les règles et les faits dans notre exercice: "Simulation discrète et inférence: l'exemple "demopolis"" [p. 235]

On peut citer ici les coquilles "KEE" ou "YAPS", ou encore la "Object Oriented Production System (OOPS)", un moteur de chaînage avant intégré à LISP/CLOS développé au TECFA, FPSE, Université de Genève (cf. Schneider et al. 93b et 93c).