Skip to main content
Glama
rikarazome

prolog-reasoner

by rikarazome
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Hybrid

Related Servers

Alternatives to prolog-reasoner

No user-submitted related servers found.

    Related Servers

    • prolog-mcp

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

    • MCP Solver

      swesmith-repos
      A
      license
      Not graded
      quality
      Not graded
      maintenance
      An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.
      MIT

    • Chiasmus

      yogthos
      A
      license
      Not graded
      quality
      A
      maintenance
      MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
      100 npm
      212
      Apache 2.0

    • 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 npm
      9
      BSD 3-Clause
    Deploy Server
    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    TDQS

    A3.7/5.0

    Scored across 5 tools

    Disambiguation5/5

    Each tool targets a distinct action: delete, execute, get, list, or save rule bases, with no overlap in functionality.

    Naming Consistency5/5

    All tool names follow a clear verb_noun pattern with snake_case (e.g., delete_rule_base, execute_prolog), maintaining uniformity.

    Tool Count5/5

    Five tools is well-scoped for a Prolog reasoning server, covering rule base CRUD and execution without excess or deficiency.

    Completeness4/5

    Core operations are present (CRUD for rule bases plus execution), but missing an explicit update tool; users must delete and re-save to modify a rule base.

    Maintenance

    ActivityInactive
    ResponsivenessUnresponsive

    Resources