LISP The Reasoned Schemer Logic Programming with Schema, a Derivative of LISP Used for Artificial Intelligence (Tasks): An Overview of DSL:minikanren LISPSymbolic Logicエキスパートシステム:expertsystem推論技術:inference Technology自然言語処理:Natural Language Processing