プログラミング言語リンク集論理型言語リンク集/ Goedel

Goedel

The Goedel Programming Language
http://www.cs.bris.ac.uk/~bowers/goedel.html
Antony BowersさんによるGoedelのサイト。
プログラミング言語リンク集論理型言語リンク集/ Goedel

Last modified: Saturday, 16 July 2005
Copyright (C) 2000-2005 Daikoku Manabu