proto-vulcan (cargo): A miniKanren-family relational logic programming language embedded in Rust
Keywords: language|logic|programming|logic-programming|rust