List of Projects hniwa is involved in

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

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...