Cognitive Scaffold

Preparing your thinking workspace

arrow_back_ios_new
MENTAL MODEL · M6855

SLD

SLD
StructureHigh supportLogic
Included
account_tree

Version 1.0.0 · Updated 2026-07-30

CORE DEFINITION

Selective Linear Definite clause resolution, an inference mechanism used in logic programming languages such as Prolog, which searches for answers through unification and backtracking of goals and rules.

SCAFFOLDING EFFECT

psychology

Reduce cognitive load

Automated reasoning. Transforming declarative knowledge into executable reasoning processes.

anchor

Anchor fast decisions

In logic programming languages such as Prolog, SLD resolution is a theorem-proving mechanism based on 'unification' and 'backtracking': starting from the goal clause, unify its head with a rule, recursively solve subgoals, and if a path fails, backtrack to the previous choice point to try other rules. Essentially, it is a search process to prove whether a logical statement is satisfiable.

MINIMUM ACTION

In progress 0/4

Practice this model in one real situation:

Check to track your progress (stored locally)
Learning progress0%
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more

Source support: Explicit

RELATED MODELS

Related model

Ugly Duckling Theorem

Counting all extensional properties equally over a finite set gives different object pairs the same number of shared properties; useful similarity requires selecting or weighting features.

arrow_forwardRelated model

False Equivalence

An informal fallacy that treats limited similarities as establishing equivalence while ignoring differences relevant to the conclusion.

arrow_forwardRelated model

Inferential Distance

How many steps of logical reasoning you must go through to get from what the audience already knows to the conclusion you want to convey.

arrow_forward