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への入門」 近代科学社
|
