Skip to main content
Glama
wendelinism

Prolog MCP Server

by wendelinism
OverviewSchemaRelated ServersScoreDiscussions
Python
Hybrid

Related Servers

Alternatives to Prolog MCP Server

No user-submitted related servers found.

    Related Servers

    • swipl-mcp-server

      vpursuit
      A
      license
      Not graded
      quality
      C
      maintenance
      This server lets tools-enabled LLMs work directly with SWI‑Prolog. It supports loading Prolog files, adding/removing facts and rules, listing symbols, and running queries with two modes: deterministic pagination and true engine backtracking.
      37
      9
      BSD 3-Clause

    • prolog-mcp

      umuro
      F
      license
      A
      quality
      C
      maintenance
      MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.
      7
      7

    • Logic-LM MCP Server

      shipitsteven
      A
      license
      Not graded
      quality
      F
      maintenance
      Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.
      5
      MIT

    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/wendelinism/prolog-mcp-server'

    If you have feedback or need assistance with the MCP directory API, please join our Discord server