2 ms·
> I have no idea how to graft Prolog to an LLM Wrapping either the SWI prolog MQI, or even simpler an existing Python interface like like janus_swi, in a simpl
by dragonwriter 1y ago
> I have no idea how to graft Prolog to an LLM
Wrapping either the SWI prolog MQI, or even simpler an existing Python interface like like janus_swi, in a simple MCP is probably an easy weekend project. Tuning the prompting to get an LLM to reliably and effectively choose to use it when it would benefit from symbolic reasoning may be harder, though.