デカルトDescartes言語の使用方法

デカルトDescartes言語のライセンス
 This program is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 2, or (at your option)
 any later version.


1. 起動方法

1.1 引数を指定して起動

	プログラムファイルを引数として指定します。

	  $ descartes example

	引数に指定されたプログラムファイル"example"を読み込み実行します。


1.2 引数を指定しないでコマンドプロンプトを起動

	引数なしで起動すると、コマンドプロンプトが表示されます。

	  $ descartes
	  Descartes 0.1.0 Copyright (C) 2009 Hideyuki Niwa

	  ?


	プロンプトには?が表示され、入力されたデカルト言語プログラムを
	実行します。
	プログラムをロードするには、load述語を使います。

	これは、"hello"プログラムのロードを実行する例です。

	  ? <load "hello">;

	コマンドプロンプトに限って、もっとも外側の括弧<>を省略する
	ことができます。

	  ? load "hello";
	  hello, world

	  result --
	  (<print hello, world>)
	  -- true


2. コマンドプロンプトの停止方法

	コマンドプロンプトを停止して抜けるには、quit述語を使います。

	  ? quit;


3. プログラムファイルのパス

	デカルト言語のライブラリやプログラムは、DLIBPATH環境変数の
	指定されている場所から探します。DLIBPATHのパスは":"で区切ら
	れます。(Windows版は";"で区切ります)

	DLIBPATHで指定されたディレクトリ内にあるライブラリやプログ
	ラムはパスを指定しなくても、descartesの引数や、load, include述語
	の指定プログラムとして実行されます。

	環境変数DLIBPATHの指定方法は、OSの環境変数の設定方法にそれぞれ
	従ってください。

	Linuxのbashでの指定方法：
	  export DLIBPATH="/usr/local/lib/descartes:."

	Windowsでは、コントロールパネルで[システムのプロパティ]の
	"環境変数"を設定してください。

以上。
