factorialのコード (Descartes-developer) - デカルト言語 - 並列ロジックプログラミング言語

はじめまして、jscripterといいます。普通は、Perlを書いているのですが、
/.jpで、

「デカルト言語とはずいぶん異なるのですが、30年も前の容量も少なく性能も
低いコンピュータで目指す目標が壮大なのです。今からもう一度、第五世代コ
ンピュータプロジェクトをやり直したら、今度は結果が異なるのではないでし
ょうか。」

と書かれているのを読んで感銘を受けました。私もそう思っていたからです。

レベルの低い質問で申し訳ないのですが、次のPrologのプログラムはDecartes
ではどのように書けばよいのでしょうか。

factorial(0,1).

factorial(N,F) :-
   N>0,
   N1 is N-1,
   factorial(N1,F1),
   F is N * F1.
-------------- next part --------------
HTMLの添付ファイルを保管しました...
ダウンロード 

デカルト言語 - 並列ロジック プログラミング言語

[Descartes-developer] factorialのコード

デカルト言語 - 並列ロジックプログラミング言語