MENTAL MODEL · M6855
SLD消解
SLD
Version 1.0.0 · 更新于 2026-07-30
CORE DEFINITION · 核心定义
Selective Linear Definite clause resolution，Prolog等逻辑编程语言使用的推理机制，通过目标与规则的统一和回溯搜索答案。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
自动化推理。将声明式知识转化为可执行的推理过程。
anchor
锚定快速决策
在Prolog等逻辑编程语言中，SLD消解是基于"合一（unification）"与"回溯（backtracking）"的定理证明机制：从目标子句出发，用规则头部与其合一，递归求解子目标，某条路径失败则回溯到上一选择点尝试其它规则。本质是"证明某个逻辑语句是否可满足"的搜索过程。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/SLDverified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型