# rikarazome/prolog-reasoner

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/rikarazome-prolog-reasoner).**

8 stars · 1 forks · Python · MIT

## Links

- GitHub: https://github.com/rikarazome/prolog-reasoner
- Homepage: https://pypi.org/project/prolog-reasoner/
- awesome-repositories: https://awesome-repositories.com/repository/rikarazome-prolog-reasoner.md

## Description

SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

## Tags

### Part of an Awesome List

- [Code Execution Sandboxes](https://awesome-repositories.com/f/awesome-lists/ai/code-execution-sandboxes.md) — SWI-Prolog execution environment for logic-based reasoning.