sdleffler/whisper

Logic programming, for Rust, from inside Rust.

语言：Rust · GitHub 星标：45 · Fork：1

话题：backtracking-search · dsl · logic-programming · rust · rust-lang · unification

在 GitHub 上查看原仓库