Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Apt, K.R., van Emden, M.: Contributions to the Theory of Declarative Knowledge. JACM 29(3), 841–862 (1982)
2. Clark, K.L.: Negation by Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum Press (1978)
3. Clark, K.L., Tärnlund, S.-A.: A First-order Theory of Data and Programs. In: Proceedings of the IFIP Congress 1977, pp. 939–944 (1977)
4. Cohen, J.: A View of the Origins and Development of Prolog. CACM 31, 26–36 (1988)
5. Colmerauer, A.: Les Systèmes Q ou un Formalisme pour Analyser et Synthétiser des Phrases sur Ordinateur. Mimeo, Montréal (1969)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17
2. Logic Programming;Computational Logic;2014