Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for logic programming minikanren
logic-programming
x
minikanren
x
6 search results found
Kanren
⭐
115
An extensible, lightweight relational/logic programming DSL written in pure Python
Ukanren Rs
⭐
99
Rust implementation of µKanren, a featherweight relational programming language.
Hydiomatic
⭐
79
The Hy Transformer
Gominikanren
⭐
32
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
Clpsmt Minikanren
⭐
28
CLP(SMT) on top of miniKanren
Minikanren Datalog
⭐
16
Datalog implemented in minikanren
Related Searches
Prolog Logic Programming (125)
Python Logic Programming (49)
Language Logic Programming (27)
Logic Programming Datalog (20)
Rust Logic Programming (11)
Logic Programming Sat Solver (10)
Scheme Logic Programming (9)
Golang Logic Programming (8)
Logic Programming Kanren (7)
Python Minikanren (5)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.