Unverified50% confidenceFactExact time

交互式小说技术可追溯至1970年代Infocom公司的文字冒险游戏，Zork系列使用的ZIL已包含朴素的程序化语义思想

1

Sources

50%

Confidence

Long-term

Relevance

7/20/2026

First Seen

Sources

重返SHRDLU：程序化语义的技术脉络与现代价值

Related Claims

VerifiedZicoder是一个面向代理编程（Agentic Coding）的开源工具64% similar Unverified智谱官方推出了Zcode UI图形界面工具用于调用编程订阅63% similar VerifiedZig是2015年由Andrew Kelley发起的系统级编程语言，定位为C语言的现代替代品61% similar UnverifiedZig 是由 Andrew Kelley 于 2016 年创建的系统级编程语言，遵循无隐藏分配原则，所有内存分配都必须显式传入 Allocator60% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/566477

API

curl https://kongchang.com/api/v1/knowledge/claims/566477

MCP

get_claim(id=566477)