seq-acl - 源码 - 源码 - 免费下载

seq-acl

文件大小： unknow

源码售价： 5 个金币积分规则积分充值

资源说明：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.

Seq-ACL+: A Decidable Theorem Prover for ACL+

To lunch Seq-ACL+

1. Run SWI-Prolog ($ swipl)
2. Load latexify package (?- [latexify].)

Now you can prove formulas by typing

?- prove(a->a).

Or you can run test files as follows

?- ['examples/tests.pl'].

部分文件列表（点击文件名可查看文件内容）

					
									本源码包内暂不包含可直接显示的源代码文件，请下载源码包。