Programmes par gloria.sf.net

Ce projet consiste à mettre en œuvre un moteur de raisonnement basé sur la programmation logique pour un agent. Nous avons commencé par une mise en œuvre des procédures iff-proof, par Kowalski et Fung, comme un algorithme de