{"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","tags":[],"official":false,"stars":8,"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","github":"https://github.com/rikarazome/prolog-reasoner","homepage":"","server_url":"","status":"active","source":"mcpservers.org","updated_at":"Mon May 25"}