Chương trình theo gloria.sf.net

Dự án này là về việc thực hiện một logic lập trình dựa trên, lý luận công cụ cho một đại lý. Chúng tôi bắt đầu với việc thực hiện các thủ tục iff-proof, bởi Kowalski và Fung, như một thuật toán bất cứ lúc nào được viết bằng P