SCIP - P16 邏輯式程序設計Ⅱ

第一小節： 構造一門語言的重要思想： 什麼是基本元素  primary element 他們如果組合  combination 他們如何進行抽象  abstraction 上節課知道了如何使用查詢語言，這節課我們來實現它（最底層的原理是模式匹配器 pattern matcher） 1.1 複習一波  pattern matcher 語法： 上圖的語法是由 「MATCH」 這個procedure實現

>>阅读原文<<