PowerPoint 2page Illustration paper for "$PROLOG for Junior highschool student". It introduces the concept of "Logic Surfing Browser", "Dynamic Knowledge Citation on deduction & unification in rules of "$PROLOG", "Private AI editing", and so on.

1. 中学＄ＰＲＯＬＯＧとは？
・知識や仮説（、前提条件）を編集して質問すると推論（自動証明＋解探索）して答えます
・従来ＰＲＯＬＯＧと違い、事実やルールを、自分の言葉により、自然言語のまま表現します
・ノウハウを秘密にしたまま、自分だけの人工知能を、自分のＰＣにより、自分で作れます
・「論理サーフィンブラウザ」として、インターネットや共有ディスク上の外部知識を、必要に応じて
動的に引用した推論も可能です（特許申請中）
例）
事実 太郎くんは花子さんと仲よし
ルール $Aと$Bは友達 :- $Aは$Bと仲よし ; req “共有関係.jpl”; $Aと$Bは旧知 ;
質問 $Xと$Yは友達？
答え $X＝太郎くん ; $Y＝花子さん
【動的引用】
ルール内の以降の条件のみ
で使う知識を一時的に引用
太郎くんと由美子さんは知り合ったばかり
太郎くんと花子さんは古い間柄
$Aは旧知 :- $Aは古い間柄 ; ///表記ゆれ吸収規則
次郎くんと由美子さんは古い間柄
次郎くんと花子さんは知り合ったばかり
・・・
「;」は“かつ”、
ＡＮＤ条件の
区切り

2. 開発・保守、海外販売： 株式会社丸誠商会
企画・研究、国内販売： ナレルシステム株式会社
「人工知能」とは、コンピュータに知能の一部を持たせるものです。
「中学＄ＰＲＯＬＯＧ」は、自分だけの知識と外部の知識を結びつけて、
自分で「人工知能」を作るためのプログラム言語であり、実行アプリです
自分だけの
知識
上の例のような
事実やルールを
自分のことばにより
自然言語で事前に編集
テキストマイニング
ニューラルネットワーク学習
統計・ビッグデータ解析
機械学習・自動知識獲得
意味解析・係り受け解析
⇒やっていません！
前提条件
（文脈）
中学＄ＰＲＯＬＯＧ
共有ディスク／インターネット上等の
外部知識の引用の連鎖（サーフィン）
※各専門知識のテキスト、ページ等
前提条件＋
質問
答え（真偽／解）
＋理由／証明
引用
文法・語彙
管理しない
参照しない登録・参照
営業 ０７６-２１３-５２１１・Windows用アプリケーションソフトの好評発売中
・知能の論理プログラム化支援（ＦＢ記事，テキスト、本人インタビューから）
http://marusei.base.ec/
論理学に
基づく健全な
好評発売中