组合算法编写器的稳定版本
Stable version of Combination Algorithm Writer (2024-02-01, Prolog, 0KB, 下载0次)
带谓词的组合算法编写器
Combination Algorithm Writer with Predicates (2024-02-01, Prolog, 0KB, 下载0次)
直觉命题逻辑自动定理证明器
Automated Theorem Prover for Intuitionistic Propositional Logic (2023-11-26, Prolog, 0KB, 下载0次)
模式访问控制逻辑“ACL+”的可判定定理证明器。实现用于访问控制的分析标记序列演算...，
A decidable theorem prover for the modal access control logic "ACL+". Implements an analytic labeled sequent calculus for access control logic along with an automatic generation of human-readable proofs. (2012-11-03, Prolog, 0KB, 下载0次)
证明规划器Clam（在clam2开发分支中）和相关定理证明器Oster.的Prolog实现。，
A Prolog implementation of the proof planner Clam (in the clam2 development branch) and the associated theorem prover, oyster., (2016-12-24, Prolog, 0KB, 下载0次)
基于PTTP范式的定理证明器。，
A theorem prover based on the PTTP paradigm., (2017-06-26, Prolog, 0KB, 下载0次)
Prolog中的IPC-CPC定理证明器，
IPC CPC theorem prover in Prolog, (2021-07-10, Prolog, 0KB, 下载0次)
SWISH上的Trill概率本体推理器，
The Trill probabilistic ontology reasoner on SWISH, (2022-12-13, Prolog, 0KB, 下载0次)
COMP30020的作业2-声明式编程。用Prolog编写的数学难题的解算器
Assignment 2 for COMP30020 - Declarative Programming. A solver for a Maths puzzle written in Prolog (2017-11-29, Prolog, 0KB, 下载0次)