Bibliothèques écrites en Logtalk

L-FLAT - Logtalk Formal Language and Automata Toolkit.

Système Bacon basé sur "Scientific Discovery" de Langley, Simon, Bradshaw et Zytkow..