目次
なぜ「思考プログラミング」か?
1.何ができるか?
2.インストール等
3.プログラミング例
4.ちょっとだけ実際にやってみる
5.もうちょっとサンプル
A ホームから
B 自己紹介(スライドシェアへ)
C 論理サーフィン1(ORルールを用いた例)
D 論理サーフィン2(探検ルールを用いた例)
6.仕様一覧
01.閉世界仮説
02.事実
03.ルール
04.変数
05.リスト
06.命題(論理学)
07.コマンド一覧
08.サブ問合せ(サブクエリ)
09.送信
10.表示ログを出力
11.メニューの詳細項目
12.質問
13.リストを作るポイント
16.ショートカットキー
17.便利なマウス操作
18.一時文脈
19.肯定文(こうていぶん)/一時文脈(いちじぶんみゃく)
20.定型応答節(ていけいおうとうせつ)
21.変数(へんすう)のついた応答節(おうとうせつ)
22.ボタンルール(ボタンホーン節)
23.マクロルール
24.タイマーマクロ
25.価値観ルール(比較ホーン節)
26.前向きルール(自動確認ホーン節)
27.手続きルール(読み上げ)
28.手続き呼び出し
29.ORルール
30.演算処理
31.マルチメディアの動画再生(手続コマンド)
32.マルチメディアの音声再生(手続コマンド)
33.マルチメディアの静止画表示(手続コマンド)
34.マルチメディアのテキスト表示(手続コマンド)
35.ブラウザ表示(手続コマンド)
36.リストファイル遷移コマンド
37.ウェイトコマンド(待機コマンド)
38.外部参照文
39.インクルード
40.テキスト表示文
41.マルチメディアのテキスト表示文
42.音声合成文
43.呼び名
44.枝刈り画面
45.否定
46.逆質問(変数なし)
47.逆質問(変数あり)
48.逆質問(変数あり) 複雑な例
49. 逆質問画面(変数なし)
50. 逆質問画面(変数あり)
51.前向き推論画面
52.ネット過去分参照画面(一部のライセンスユーザーのみ)
53.重文質問
54.差分質問
55.連続主張
56.コメント
57.ハコ△(特別機能)
58.トレース
59.読み方明示機能
60.録音機能
61.ホームリスト
62.リダイレクト
63.不存在条件
64.探検ルール
65.重みルール
66.メニュー一覧
67.コンテキストメニュー一覧
68.プレイモード
69.プレイモード選択欄表示
70.プレイモードの読込、保存時の機能
71.引継ぎ処理
100.伝統的PROLOGにできて、中学$PROLOGにできないこと
101.共通の制限(ルール、事実、質問)
102.ルール及び事実の制限
103.質問の制限
104.手続き的解釈
その他