1977年有一篇叫做Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis[1]的文章，利用LISP描述了模拟电路的网表，同时进行了早期的约束传播与推理设计，并进行求解和验证。

论文发表于Artificial Intelligence期刊（AIJ），作者是MIT人工智能实验室的Richard M. Stallman和Gerald J. Sussman。前者后来主导了GNU项目并手写了gcc和gdb及emacs，成为开源运动的先驱和标志性人物。后者留在MIT任教，写了《计算机程序的构造和解释》及SICP，并教授这门课（MIT 6.001）。两位也都是传统意义上的LISP hacker。

怎么说呢，今天我们被视为“古法编程”的技术，其实也是AI。

[1] http://t.cn/AXpdvJG0