| ||||||||||
| MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008. /ClocMel/ W.F. Clocksin, C.S. Mellish: Programming in Prolog. Springer Verlag Heidelberg 1981 邦訳 中村克彦 訳 「Prologプログラミング」 日本コンピュータ協会 /SchLei/ P. Schnupp, U. Leibrandt: Prolog as a Basis for Software Engineering Environments. 2eme Colloque de Geniel Logiciel Nice 4-6 Juin 1984 /Schnup/ P. Schnupp, Prolog: Einfuhrung in die Programmierpraxis, Hanser Verlag, 1986 /PerWar/ Fernando C.N. Pereira, David H.D. Warren: Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks. Artificial Intelligence 13 (1980), 231-278. Copyright(C) by North-Holland Publishing Company /SteSha/ L. Sterling, E. Shapiro, The Art of Prolog: Advanced Programming Techniques, MIT Press, 1986 /Bratko/ I. Bratko, Prolog Programming for Artificial Intelligence, Addison-Wesley, 1986 邦訳 安部憲広 訳 「Prologへの入門」 近代科学社 | ||||||||||
|
| 戻る> |
|