1 KL1 入門

KL1 は並列論理型言語 Guarded Horn Clauses[5] に基づいて 設計された, 並列処理の記述に適したプログラム言語で, 第五世代コンピュー タプロジェクトがその目標としてきた並列推論システムの中核となる並列推論 マシンの共通核言語として, オペレーティング・システム[1]から種々 の応用プログラムの記述にまで, 広く用いられてきた.[6] この 章では KL1 の言語仕様の概略と, 基本的なプログラミング技法について解説 する.

• はじめに
• 1.2 構文と実行機構の基本
  • 1.2.1 プログラムの形式と基本実行機構
    • 簡単なプログラム
    • プログラムの実行
    • ユニフィケーション
      • ガード・ユニフィケーション
      • ボディ・ユニフィケーション
    • 節の形式と基本実行機構
    • 並列実行, 通信, 同期の機構
    • 実行機構についての補足
      • 複数の節が使えたら?
      • どの節も使えなかったら?
      • ボディ・ユニフィケーションで, 既に値の決まっている変数の値 をまた決めようとしたら?
  • 1.2.2 他のプログラム言語と比べて
    • 手続き型言語と KL1
    • 関数型言語と KL1
    • 他の論理型言語と KL1
      • Prolog と KL1
      • 他の並列論理型言語と KL1
    • オブジェクト指向言語と KL1
• 1.3 データとシンタクス
  • 1.3.1 論理変数
    • 変数はメモリ番地ではない
    • 変数に型はない
  • 1.3.2 アトミックなデータ
    • 記号アトム
    • 数値アトム
  • 1.3.3 構造を持ったデータ
    • 未完成データ構造
    • 構造データのユニフィケーション
      • ガード・ユニフィケーション
      • ボディ・ユニフィケーション
  • 1.3.4 略記法
    • ガード・ユニフィケーションのヘッドでの表記
    • ゴール true の省略
• 1.4 プロセスとストリーム通信
  • 1.4.1 プロセス
    • KL1 のプロセスとは
    • リスト要素の和
    • 自然数のリスト
  • 1.4.2 ストリーム通信
    • プロセスの複合
    • ストリーム通信
    • プロセスの状態
    • 複雑なメッセージ
• 1.5 プロセス・ネットワーク
  • 1.5.1 フィルタ
  • 1.5.2 ストリームの連結
  • 1.5.3 マージャ
  • 1.5.4 ディスパッチャ
  • 1.5.5 サーバ
• 1.6 プログラム動作の指定
  • 1.6.1 並列実行指定の方針
    • 負荷分散はプログラムで指定する
    • ふたつの並列性を分離する
  • 1.6.2 ゴール分散プラグマ
  • 1.6.3 ゴール優先度指定プラグマ
  • 1.6.4 節優先度指定プラグマ
• 1.7 一階述語論理と KL1
  • 1.7.1 プログラムは公理の集まり
  • 1.7.2 実行は証明過程, 計算結果は反例
  • 1.7.3 証明系としての Prolog と KL1