miniKanren
From MaRDI portal
Software:31904
No author found.
Related Items (9)
Typed Relational Conversion ⋮ Scheduling complexity of interleaving search ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Debugging hygienic macros ⋮ The first-order syntax of variadic functions ⋮ Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015 ⋮ Executable Relational Specifications of Polymorphic Type Systems Using Prolog ⋮ Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) ⋮ α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
This page was built for software: miniKanren
