prolog-reasoner
by rikarazome
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| PROLOG_REASONER_LLM_MODEL | No | LLM model for library mode | gpt-5.4-mini |
| PROLOG_REASONER_LOG_LEVEL | No | Log level for the server | INFO |
| PROLOG_REASONER_SWIPL_PATH | No | Path to SWI-Prolog executable | swipl |
| PROLOG_REASONER_LLM_API_KEY | No | API key for library mode only — leave unset for MCP | |
| PROLOG_REASONER_LLM_PROVIDER | No | LLM provider for library mode (openai or anthropic) | openai |
| PROLOG_REASONER_LLM_TEMPERATURE | No | LLM temperature for library mode | 0.0 |
| PROLOG_REASONER_LLM_TIMEOUT_SECONDS | No | LLM timeout for library mode | 30.0 |
| PROLOG_REASONER_EXECUTION_TIMEOUT_SECONDS | No | Execution timeout for Prolog | 10.0 |
Capabilities
Features and capabilities supported by this server
| Capability | Details |
|---|---|
| tools | {
"listChanged": true
} |
| logging | {} |
| prompts | {
"listChanged": false
} |
| resources | {
"subscribe": false,
"listChanged": false
} |
| experimental | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| execute_prologA | Execute Prolog code and return reasoning results. Write Prolog facts and rules, then run a query against them. Supports CLP(FD) constraints, negation-as-failure, and all standard SWI-Prolog features. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
Latest Blog Posts
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/rikarazome/prolog-reasoner'
If you have feedback or need assistance with the MCP directory API, please join our Discord server