프로그램별 gloria.sf.net

이 프로젝트는 에이전트에 대한 논리 프로그래밍 기반의 추론 엔진을 구현하는 것입니다. 우리는 프로로그에 기록 된 언제든지 알고리즘으로 코왈스키와 펑에 의해 iff 방지 절차의 구현으로 시작했다.