Discussion about this post

User's avatar
Charles Thayer's avatar

Thanks for this. I didn't reallize there was a paper and I've been thinking about this idea for a while because I'm working on a medicial diagnosis system. I wanted to let you know that there are now Prolog mcp servers out there, so one can leverage Prolog in a very ad-hoc way in an agent when helpful to do more "strict reasoning" or "solutions exploring"

Expand full comment
Steve from Steve's Lab's avatar

I wrote a prolog in Python and OpenAI adds facts. That’s how I script agents.

Expand full comment
6 more comments...

No posts