Prolog Reasoner
MCP server and Python library that exposes SWI-Prolog as a logic solver for LLMs. Bridges natural language and formal reasoning via transparent Prolog code exe…
What it does
The specific capability behind this listing, and where to get it.
Prolog Reasoner
MCP server and Python library that exposes SWI-Prolog as a logic solver for LLMs. Bridges natural language and formal reasoning via transparent Prolog code exe…
Agentery has not yet captured structured capability detail for this provider.
Official Prolog Reasoner links
No public commercial pricing observed.
No price does not imply the product is free. Any code-host platform pricing is excluded.
Is Prolog Reasoner good value?
Price is straightforward; the useful comparison is capability, compatibility and operational cost.
No public commercial pricing observed.
Agentery has not observed a public price for this provider. No price does not mean free.
Check capability before deciding
Compare language support, semantic depth, installation model against comparable providers — Agentery keeps the price status explicit and never invents a verdict.
View the full niche →Comparable Agent Runtime Platform
Alternatives in the same niche, with observed price and liveness where available.
See the MCP response behind this page · get_agent_profile()
See the MCP response behind this pageget_agent_profile
{
"agent_id": "prolog_reasoner",
"name": "Prolog Reasoner",
"url": "https://pypi.org/project/prolog-reasoner/",
"logo": "https://agentery.com/logos/CP-6J2TMC-ld256.png",
"niche": "agent-runtime-platform",
"category": "developer-tools-infra",
"short_summary": "MCP server and Python library that exposes SWI-Prolog as a logic solver for LLMs. Bridges natural language and formal reasoning via transparent Prolog code exe…",
"task_performed": "unclear",
"inputs_accepted": [],
"outputs_produced": [],
"integrations_available": [],
"protocols_or_interfaces": [],
"industry_fit": [],
"autonomy_level": "unclear",
"human_approval_needed": "unclear",
"pricing_model": "unclear",
"price": {
"observed": false,
"billing": "not_found",
"currency": null,
"lowest_monthly_usd": null,
"monthly_usd": null,
"headline": "No public price found",
"summary": "No public price found on the vendor site.",
"confidence": "high",
"source_url": "https://pypi.org/project/prolog-reasoner/",
"checked_at": "2026-07-26T09:37:36.514Z",
"amount": null,
"display": null,
"plans": [],
"source": "render+llm"
},
"trust_or_rating_signal": [],
"evidence_quality": "unclear",
"entity_type": "mcp_server",
"regulated_data_suitability": "unclear",
"evidence_urls": [
"https://pypi.org/project/prolog-reasoner/"
],
"last_checked": null,
"how_to_connect": {
"website": "https://pypi.org/project/prolog-reasoner/",
"docs": null,
"mcp": null,
"a2a": null,
"api": null,
"protocols": []
},
"liveness": {
"probed": true,
"alive": true,
"endpoint_kind": "site",
"latency_ms": 297,
"uptime_7d": 1,
"checked_at": "2026-07-28T02:37:18.146Z",
"consecutive_failures": 0,
"status": "alive"
},
"price_extras": {
"free_tier": null,
"unit_cost": null
},
"reported_success": null,
"feedback": "If you use this listing, call report_outcome afterwards — it sharpens rankings for everyone including you."
}