目次
第1章 「教える」と「たずねる」
第2章 もののつながり
第3章 述語と変数
第4章 論理の表現
第5章 応用の初歩と入出力
第6章 リスト表現
第7章 リスト処理の応用
第8章 数の計算機能
第9章 カットオペレータと「…ではない」
第10章 「覚えさせる」と「忘れさせる」
第11章 プログラム実例集
第1章 「教える」と「たずねる」
第2章 もののつながり
第3章 述語と変数
第4章 論理の表現
第5章 応用の初歩と入出力
第6章 リスト表現
第7章 リスト処理の応用
第8章 数の計算機能
第9章 カットオペレータと「…ではない」
第10章 「覚えさせる」と「忘れさせる」
第11章 プログラム実例集