Download List


The descartes language is designed as a computer language that centered on the logical reasoning.

It is logical inferences and search functions that I aims. Moreover, the object group with the functional programming function is the intellectual system that works in parallel at the multi core. In addition, this language operates by I/F of the syntax that closes to human beings.

The descartes language is named commemorating the Descartes. René Descartes is a famous philosopher and a mathematician.


作业系统: Linux, Windows

Download Package list

descartes-src (27 items 显示)

descartes-win (27 items 显示)