Package "predicate-calculus"


Version:
v1.0.0
Released:
2600 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))