Programmi di gloria.sf.net

Questo progetto riguarda l'implementazione di un motore di ragionamento basato sulla programmazione logica per un agente. Abbiamo iniziato con un'implementazione delle procedure a prova di iff, di Kowalski e Fung, come algori