hub / github.com/dagit/rust-prolog

github.com/dagit/rust-prolog @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

80 symbols 209 edges 8 files 29 documented · 36% ● updated 5mo ago★ 825 open issues

Browse by type

⨍ Functions 65 ◇ Types & classes 15

What it actually does AI analysis from the code graph — generated when you open this

loading…

Core symbols most depended-on inside this repo

browse all functions →

Shape

Function 49

Method 16

Enum 9

Class 6

Languages

Rust100%

Modules by API surface

src/solve.rs30 symbols

src/syntax.rs23 symbols

src/heap.rs8 symbols

src/main.rs6 symbols

src/lexer.rs5 symbols

src/unify.rs4 symbols

src/token.rs3 symbols

build.rs1 symbols

For agents

$ claude mcp add rust-prolog \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/dagit/rust-prolog @main

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page