{"id":360,"slug":"rikarazome/prolog-reasoner","name":"prolog-reasoner","description":"SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.","category":"development","github":"https://github.com/rikarazome/prolog-reasoner","homepage":"","server_url":"","transport":null,"install":[{"cmd":"pip install prolog-reasoner","imports":[]}],"tools":[{"name":"execute_prolog","description":"Execute arbitrary SWI-Prolog code with a query, optionally prepending saved rule bases. Returns solutions, execution timing, and optional proof traces."},{"name":"list_rule_bases","description":"List all saved rule base names."},{"name":"get_rule_base","description":"Retrieve the content of a saved rule base by name."},{"name":"save_rule_base","description":"Write or overwrite a named rule base with syntax validation."},{"name":"delete_rule_base","description":"Delete a saved rule base by name."}],"env_vars":["LLM_API_KEY","PROLOG_REASONER_LLM_API_KEY"],"auth_type":"none","official":false,"stars":8,"status":"active","source":"mcpservers.org","created_at":"2026-05-25T06:33:51.967111+00:00","updated_at":"2026-05-25T16:42:25.446454+00:00","tags":[],"path":"prolog-reasoner"}