Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference79 articles.
1. Warren's Abstract Machine, A Tutorial Reconstruction;Ait-Kaci,1991
2. K.A.M. Ali, R. Karlsson, The muse or-parallel prolog model and its performance, in: The 1990 North American Conference on Logic Programming, MIT Press, October 1990, pp. 757–776
3. G. Almasi, A. Gottlieb (Eds.), Highly Parallel Computing, Benjamin Cummins, Menlo Park, CA, 1994
4. L.O. Andersen, Binding-time analysis and the taming of C pointers, in: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM Press, Copenhagen, Denmark, 1993, pp. 47–58
5. K. Apt, A. Shaerf, Search and Imperative Programming, in: POPL'97: 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, Paris, France, January 1997, pp. 67–79
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Top-Down Solver—An Exercise in $$\text {A}^{2}$$I;Intelligent Systems Reference Library;2023
2. Some Thoughts on How to Teach Prolog;Prolog: The Next 50 Years;2023
3. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17
4. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28
5. Three improvements to the top-down solver;Mathematical Structures in Computer Science;2021-10