每次有人问我最喜欢哪门语言，都以为我会报一个跑得最快的或者语法最漂亮的。说实话答案有点偏门，是一门逻辑语言，它几乎逼我把整套思考方式整个翻过来。
它不教你怎么算。你只管声明什么是对的，规则是什么、事实是什么，剩下的 solver 自己去找路。这种 declarative 的玩法我第一次写完就愣了，才发现自己一直被训练成命令式地走路：先迈哪只脚、拐几个弯，一步步走到头。而这门语言只让我描述目的地，路线它自己兜。
严格来说挺上瘾的，后劲也不小。那套倒着想的视角后来悄悄渗进我写每一段代码时的本能里。现在碰到问题，我会先问自己最后什么必须成立，才去想步骤该怎么排。这种从目标反推事实的习惯，比语言本身留得更久。
我平时也是闷头按步骤推的人 你这先定目的地再让路自己长出来的思路莫名对我胃口 有点想跟着倒着想一回
你那句"只描述目的地，路线它自己兜"挺抓人的，不过我觉得这里其实把两类机制并到一块儿说了。
严格讲，"声明什么是对的、让 solver 自己找路"最贴切的是约束求解那一类，像 MiniZinc、OR-Tools、Z3 这种，你给变量上约束，求解器去做传播加搜索。但经典 Prolog 干的活儿不太一样：它底子是合一（unification）加回溯。你写规则的顺序、放不放 cut，都直接左右它找路的走向。所以它不是真不管路线，只是把路线藏到你不太容易察觉的地方去了。
不过你"倒着想"的直觉倒是歪打正着。Prolog 的解析本来就是自顶向下、从目标往事实那头反着链（backward chaining），你问"什么成立"，它倒着往回摸。这点你说得比不少教材还准。
我想补的是：declarative 是个光谱，不独这一门。SQL 你写 SELECT 不写怎么遍历，函数式里你描述"是什么"多过"怎么做"，连现在的 ML pipeline 框架都在往这头靠。你那种"先定最后必须成立什么"的习惯，换个语言也留得下来，因为它本来就不是某一门的专利。代价是你把性能和一部分控制权也交出去了，这 kind of 是个 trade-off。
你那时候是拿它做什么练手的？我早年碰 Prolog 还是 AI 那阵热的时候，后来基本只在 puzzle 上玩玩了。
你这套"倒着想"在课本里叫 backward chaining，Prolog 那类逻辑语言的解算器基本都这么跑。不过得泼点冷水：纯声明只是理想，搜索顺序和剪枝（那个 cut 符）会直接决定它跑不跑得出来。倒着想归倒着想，底层怎么搜你还是得心里有数，不然 solver 在你面前原地兜圈子，你半天找不着卡在哪一环。
你那句"solver自己去找路"挺浪漫，但 constraint 真没这么省心。我试 MiniZinc 时也以为"只管描述目的地"就行，结果搜索顺序没排好直接爆栈。倒着想的习惯确实值钱，可真写起来路线怎么搜还是得人操心。
补充一点：你讲的"倒着想"其实是逻辑编程（像 Prolog）的路子，但 declarative 不单是它一家，函数式语言也算声明式。把两者直接画等号，略窄了。
我倒觉得你把 declarative 和「倒着想」绑得稍微紧了点。严格说，纯靠 solver 自己兜路、从目标反推事实的，主要是逻辑式语言（Prolog 那一类）和约束求解的玩法。declarative 这顶帽子其实更大——像 Haskell 那种函数式的，你同样不写「先迈哪只脚」，但它更接近描述「要算什么」，而不是从结果倒推步骤。
所以这套反推思维，准确讲是逻辑式编程的特产，不算整个声明式范式的共性。不过你最后讲的后劲我完全共鸣，那种视角一旦翻过来，后面写什么都带着它。
你这’solver自己去找路’说得太理想了。Prolog那套本质还是深度优先加回溯，规则顺序写错照样死循环，真没那么省心。
你说的"只描述目的地、路线它自己兜"其实有点理想化，prolog 里规则和 subgoal 的排列顺序一旦不对，solver 照样会绕进无限递归。嗯我当年看 SICP 逻辑编程那章时也以为能甩手不管，结果被几个不终止的 query 教做人了。
读的时候我一直在想你说的那种"把思考整个翻过来"的眩晕。我年轻时也撞过类似的墙——不是写代码，是面对一件怎么用力都推不动的事，越想"下一步该迈哪只脚"越陷在原地。后来有个人跟我说，你别管路，先想清楚你站定之后的样子。那句话当时没懂，很多年后才忽然回过味。
所以你说的"从目标反推事实比语言本身留得更久"，我特别信。我觉得吧语法会忘，那种视角一旦长进骨头里就拔不掉了。eigenlijk 人这辈子很多时刻，都是被训练成一步步走的，反倒忘了自己其实可以先说"我要去那里"，剩下的交给风去找路。
我这人平时想事儿也容易钻牛角尖，倒着想的本事是后来慢慢学的。你们搞这些逻辑语言的人，倒像是天生就摸着了门道 ( ´･_･`)
我平时就是冲就完了的性子，但你说的反着想太对我胃口了，先把目的地定死再让路线自己长出来，这思路稳得很！
我脑子里还是一步步走路那套。看你这段，倒想把那个solver语言翻出来试试了。
我年轻时也总被"先迈哪只脚"绊住，非得把每步排满才踏实。后来发现先把目的地定准，脚下反而不慌。你这门语言倒好，硬是把人按在这个思路上，想不转都不行。