写一段 Prolog 程序，填上要查询的目标，点一下就运行，把程序输出和全部解答列出来。引擎是 tau-prolog（纯 JavaScript 实现的 ISO Prolog），在独立后台线程执行，带推理步数上限与 15 秒超时保护，遇到死循环会自动中止，不依赖你自己的服务器。
写你要问的问题，结尾句号与开头的 ?- 可写可不写，工具会自动补齐。
多个条件用逗号连接，例如 member(X, [a,b,c])。
变量会逐个解答地显示取值，枚举完为止。
运行在浏览器本地：tau-prolog 是纯 JavaScript 解释器，本体约 440 KB，首次从本站 CDN 取回后长期缓存。代码在独立线程执行，推理步数超过 100 万步或运行超过 15 秒会被当作死循环自动中止。使用 format/2 时会自动补上 library(lists) 与 library(charsio) 的导入，方便在查询里直接调用；format 的格式串要用双引号，'...' 是原子。
is/2 与比较运算）、列表与 library(lists) 谓词（append、member、maplist 等）、findall、between、sort、write/nl/format 输出。library(dom)、library(js)、library(os)）、文件与网络访问、多线程；死循环或超大搜索空间会被推理步数上限或 15 秒超时中止。发布日期: 2026-09-13
描述: Prolog在线运行器工具用于在浏览器里执行 Prolog 程序，支持事实与规则、递归查询、多解答枚举与超时中止，帮助初学者练习逻辑编程。
使用方法: 1. 在「程序」区写事实与规则，在「查询目标」里写要问的问题（结尾句号与开头的 ?- 可省略，工具会自动补齐），按 Ctrl+Enter 或点「执行」运行。2. 选「示例代码」可载入事实查询、规则递归、列表与 maplist、findall 计算、格式化输出、报错或死循环示例。3. 首次运行需等待约 440 KB 的运行时从本站 CDN 载入，之后浏览器会缓存；结果显示在输出框，程序输出为浅色文字、解答为绿色、报错为红色。4. 推理步数超过 100 万步或运行超过 15 秒会被自动中止。5. 结果可复制或下载为文本文件。
代码高亮工具把源码按选中的语言着色，可自动识别语言并给出识别结果，输出带行号的高亮结果，内置多套浅色与深色主题可随时切换。
Scheme在线运行器工具用于在浏览器里执行 Scheme 代码，支持标准输出、报错信息显示与运行超时终止，帮助初学者学习 R7RS 语法与函数式编程。
HJSON转JSON工具用于把可写注释、键值不加引号的 HJSON 文本解析成标准 JSON，也能反向把标准 JSON 写成更易读的 HJSON 配置。
暂无评论，来发表第一条评论吧！