当社で独自に開発した「論理プログラミング言語」です。新たに「ふだんの言葉のままで」そうした機能による論理的な思考を進められるようにしています。ネットワークを活用した知識の実行時補足機能も、推論を強力にサポートします。従来の論理プログラミングには、次のような特徴がありました。C(++)言語やJAVA等の「手続型プログラミング言語」に比べて論理(独立性の高い宣言的知識)を簡潔に表現できる。表現された論理を組み合わせて、「根拠の伴った」結論や「連立式を同時に充足する」解集合を、健全(考え違いがない)かつ必要な完全性(考えモレがない)をもって自動的に導ける(自動証明と解探索)。その代表格である伝統的なPROLOGにおける「一階述語論理」の表現は、次のように、例えば中学生には慣れ親しみにくいものでした。「太郎はラーメンがメッチャ好き」等といった利用者がふだん用いている言葉使いを取り扱うのは不得意であり、「好き(太郎,ラーメン)」等といった一定の形式の「述語論理式」に直す必要がある。出現する順番を事前に取り決め、これに沿ってプログラミングすることが必要になる。「中学$PROLOG」は、伝統的なPROLOGにおけるこのような問題を、言語検索と推論(演繹)とを数学的に統合した「言葉方程式」として解決する等、「誰もが」論理プログラミングに気軽に慣れ親しんで頂けるように様々な工夫をした結果、より一般的な思考プロセスをシミュレーション/追跡できる「思考プログラミング言語」として発展してきました。マニュアルでは、「思考プログラミング言語」である「中学$PROLOG」(V3.3)自体の説明とともに、この「思考プログラミング言語」をコンピュータで動作させる統合インタープリタソフトウエア「HUMANOTE」の説明も行います。「HUMANOTE」はインタープリタであると同時に、論理を補足する根拠等を求めてインターネット上を論理的にサーフィンできる「論理サーフィンブラウザ」ソフトとしても動作します。21世紀の人工知能時代を、誰もが「論理サーフィン」できる、新しい「思考プログラミング」の力を、是非ともお楽しみください。