Package "predicate-calculus"
- Version:
- v1.0.0
- Released:
- 2020 days ago
- Maintainer:
- Naruto Canada <narutocanada@gmail.com
- Author:
- Naruto Canada <narutocanada@gmail.com
- Homepage:
- http://sourceforge.net/projects/math-linux/
- Description:
- Predicate calculus with equality
- Keywords:
- logic
- Package form:
(package* predicate-calculus/v1.0.0 (provide: (define (clausal-form formula)) (define (full-resolution clauses-set)) (define (add-equality-axioms clauses-set))) (author: "Naruto Canada <narutocanada@gmail.com") (maintainer: "Naruto Canada <narutocanada@gmail.com") (homepage: "http://sourceforge.net/projects/math-linux/") (description: "Predicate calculus with equality") (keywords: logic))