記号型言語

Lispは記号型言語の代表格であり、人工知能の研究において長く重宝されてきた。

「記号型言語を学ぶと、データの扱い方についての考え方が根本から変わる気がする」

プロローグのような記号型言語を用いて、論理的な推論システムを構築する。