Odel
Home
Market
Chat
Dev
Docs
Pricing
About
Sign In
Sign Up
Home
Modules
rikarazome
rikarazome
1 entry
External
Prolog Reasoner
📦
Local
SWI-Prolog as a logic calculator for LLMs
anthropic
claude
llm
logic-programming
+4
