开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
acl-lean
文件大小： unknow
源码售价： 5 个金币 积分规则     积分充值
充值1元得10金币   
资源说明：A theorem prover for propositional access control logic with "says" operator. Implements Seq-ACL, an analytic labeled sequent calculus for access control logic along with an automatic generation of human-readable proofs. Main implementation in SWI-Prolog with translation to GNU-Prolog and relative C bindings provided.
ACL-Lean: Access Control Logic Theorem Prover

To launch ACL-Lean:
  1. Run SWI-Prolog ($ swipl);
  2. Load the latexify package (?- [latexify].).

Now you can prove formulas by typing:
  ?- prove(a->a).

Or you can run single test files as follows:
  ?- ['examples/Ex1.pl'].
or you can run all of the tests at once issuing:
  ?- ['examples/tests.pl'].

部分文件列表（点击文件名可查看文件内容）
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。