
descartes
---------
             デカルトDescartes言語: 論理プログラミング言語

                                   2009 (C) Copyright Hideyuki.Niwa 

●　はじめに

 デカルト言語は、論理的な推論を中心とした人工知能プログラムのための
I/F として設計しました。しかし、文章やデータを処理する、柔軟なスク
リプトとしても役立つことでしょう。
名前は有名な数学者・哲学者であるデカルトに因んで名づけています。

デカルト言語は、誰でも簡単に使える言語は目指していません。この言語の
利用者が深く理解し習熟し工夫を重ねることにより、素晴らしい結果が得ら
れるような言語にしたいと考えています。

使い方の詳細はdocjフォルダーの中の文書を参照してください。



●　インストール方法

1) ダウンロードしたファイルを、解凍ソフトを使用して解凍します。
2) 解凍されて出てきたフォルダを、適当な位置に移動してください。

  sjis対応版とutf8対応版の二つが同梱されています。
　  descartes-sjis.exe
    descartes-utf8.exe

３．アンインストール方法 
　解凍したフォルダをフォルダごと削除してください。


●　使い方

1. 起動方法

1.1 引数を指定して起動

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

     $ descartes hello


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


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

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

     $ descartes
     Descartes 0.4.1 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では、コントロールパネルで[システムのプロパティ]の
   "環境変数"を設定してください。


●　使用条件等
  -　本プログラムの転載は自由です。その場合は、含まれるすべてのファイルをそ
     のまま転載してください。
  -　本プログラムを使用したことにより生じたいかなる障害､損害において作者は一切
    責任を負わないものとします。各自の責任において、ご使用ください｡

●　ソースコード
    本ソフトウェアはオープンソースであり、GPL v.2 or laterで以下のサイトで
   公開されます。
	http://sourceforge.jp/projects/descartes/


以上
