SCIP - P16 逻辑式程序设计Ⅱ

第一小节： 构造一门语言的重要思想： 什么是基本元素  primary element 他们如果组合  combination 他们如何进行抽象  abstraction 上节课知道了如何使用查询语言，这节课我们来实现它（最底层的原理是模式匹配器 pattern matcher） 1.1 复习一波  pattern matcher 语法： 上图的语法是由 “MATCH” 这个procedure实现

>>阅读原文<<