miniKanren

miniKanren is an embedded Domain Specific Language for logic programming. miniKanren has been implemented in a growing number of host languages, including Scheme, Racket, Clojure, Haskell, Python, JavaScript, Scala, Ruby, OCaml, and PHP, among many other languages. miniKanren is designed to be easily modified and extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming, and tabling.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Tanter, Éric: Book review of: D. P. Friedman and C. Eatlund, The little prover (2020)
  2. Ahn, Ki Yung; Vezzosi, Andrea: Executable relational specifications of polymorphic type systems using Prolog (2016)
  3. Alexander, Samuel: The first-order syntax of variadic functions (2013)
  4. Culpepper, Ryan; Felleisen, Matthias: Debugging hygienic macros (2010)
  5. Kiselyov, Oleg; Byrd, William E.; Friedman, Daniel P.; Shan, Chung-chieh: Pure, declarative, and constructive arithmetic relations. (Declarative pearl) (2008)
  6. Near, Joseph P.; Byrd, William E.; Friedman, Daniel P.: (\alpha)\textsflean\textitTAP: a declarative theorem prover for first-order classical logic (2008)