はじめに
CafeOBJ の使い方: CafeOBJ の起動・終了; 仕様の記述; 仕様の読み込み
CafeOBJ の文法: コメント; モジュール; ソート; 輸入; オペレータ; 等式; 変数; 定義済みモジュールの表示; 項の構文解析; 簡約
証明譜を使った検証: 証明譜とは; 組み込み述語 =; 結合律の証明; 交換律の証明
補足: トラブル発生時の対応; 内蔵モジュール; 識別子で日本語を使う; 練習問題

トラブル発生時の対応

CafeOBJ の開発は on-going であるので、ちょっとした操作ミスで異常な状態に陥ることがある。

LISP のコマンドレベルに落ちたとき

CHAOS(1): などのプロンプト※が現れたときは、何らかの例外処理によって LISP のコマンドレベルに落ちている。このような時は (bye-bye-bye) とタイプするか、LISP の終了コマンドをタイプし、CafeOBJ を終了させる。

※ LISP のプロンプトや終了コマンドは、LISP 処理系によって異なる。下図は Allegro Common Lisp 6.1 の例である。

CafeOBJ> ^C
Error: Received signal number 2 (Keyboard interrupt)
  [condition type: interrupt-signal]

Restart actions (select using :continue):
 0: continue computation
 1: Abort entirely from this process.

[changing package from "COMMON-LISP-USER" to "CHAOS"]
[1c] CHAOS(1): (bye-bye-bye)
; Exiting Lisp
%

[Next] 内蔵モジュール