- SICP OpenCourse 12 : L8B-Logic P
- SICP OpenCourse 1 : L1A Overview
- SICP OpenCourse 11 : L8A-Logic P
- SICP OpenCourse 4 : L5A-P1-Assig
- SICP OpenCourse 5 : L5A-P2~P3-As
- 学习LISP（零）： 启动SICP计划
- SICP OpenCourse 6 : L5B-P1~P3-Co
- SICP OpenCourse 9 : L7A-Metacirc
- SICP OpenCourse 13 : L9A-Registe
- SICP OpenCourse 2 : L1B Processe
SICP OpenCourse (Structure and Interpretation of Computer Programs)
PART 1
1.POINT: USE PATTERN MATCHER TO IMPLEMENT THE NEW LOGIC LANGUAGE
2.LET'S TALK ABOUT HOW IT'S IMPLEMENTED. AT THE BOTTOM OF IT, THERE'S A PATTERN MATCHER
3.SAMPLE PATTERNS
(a ?x c)
(job ?x (computer ?y)
(job ?x (computer . ?y)
(a ?x ?x)
(?x ?y ?y ?x)
(a . ?x)
(MATCH pat data dictionary)
=>(?x ?y ?y ?x)(a b b a)
=>(?x ?y ?y ?x)(a b b a)
4.CLOSED WORLD ASSUMPTION
- Anything that I cannot deduce from what I know is not true.
- If I don't know anything about x, and x isn't true.
网友评论