Programming Concepts in Logic Programming
作者： Isaac Balbin , Koenraad Lecot
DOI: 10.1007/978-94-009-5044-3_6
关键词:
摘要:
springer.com
springerlink.com参考文章(80)
Helder Coelho, José Carlos Cotta, Luís Moniz Pereira, How to solve it with prolog Laboratório Nacional de Engenharia Civil. ,(1982)
Stanialaw Szpakowicz, Feliks Kluźniak, Prolog for Programmers ,(1985)
Jieh Hsiang, Mandayam K. Srivas, A PROLOG environment for developing and reasoning about data types formal methods. pp. 276- 293 ,(1985) , 10.1007/3-540-15199-0_18
Richard Waldinger, Zohar Manna, Special Relations in Program-Synthetic Deduction, ,(1982)
C. S. Mellish, William F. Clocksin, Programming in Prolog ,(1981)
Marc Bergman, Pierre Deransart, Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog colloquium on trees in algebra and programming. pp. 101- 116 ,(1981) , 10.1007/3-540-10828-9_57
O Shmueli, H Zfira, S Tsur, Rule support in Prolog Proceedings from the first international workshop on Expert database systems. pp. 247- 269 ,(1986)
G. Hommel, D. Kr?nig, Prolog als Spezifikations- und Modellierungswerkzeug Requirements Engineering. pp. 173- 182 ,(1983) , 10.1007/978-3-642-69293-2_13
Richard Ennals, Teaching Logic as a Computer Language in Schools. international conference on lightning protection. pp. 99- 104 ,(1982)
Dahl, Logic Programming as a Representation of Knowledge IEEE Computer. ,vol. 16, pp. 106- 111 ,(1983) , 10.1109/MC.1983.1654206