Unverified50% confidenceFactExact time
Scryer Prolog 是一个用 Rust 编写的现代 Prolog 实现，由 Mark Thom 主导开发，力图遵循 ISO Prolog 标准（ISO/IEC 13211-1:1995）
1
Sources
50%
Confidence
Long-term
Relevance
8/8/2026
First Seen
Sources
Related Claims
UnverifiedGSD Pro (Get Shit Done Pro) is an open-source AI coding workflow framework built on top of Claude Code.57% similarUnverifiedMany developers' actual practice is to use Cursor and Claude Pro together with a clear division of labor: using Cursor for code editing and Claude Pro's web interface for architectural discussions and general tasks.52% similarUnverifiedClaude Code built its own REPL implementation using Ink, a React-based terminal UI framework, rather than using Node.js's built-in repl module50% similarUnverifiedClaude Code is a command-line programming assistant launched by Anthropic, based on the Claude large language model, and runs in REPL form.50% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/708197API
curl https://kongchang.com/api/v1/knowledge/claims/708197MCP
get_claim(id=708197)