| Negation as failure KL Clark Logic and data bases, 293-322, 1977 | 3484 | 1977 |
| PARLOG: parallel programming in logic K Clark, S Gregory ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 1-49, 1986 | 751 | 1986 |
| Predicate logic as a computational formalism. KL Clark Queen Mary, University of London, 1980 | 340 | 1980 |
| micro-PROLOG: Programming in Logic KL Clark, FG Mc Cabe Prentice Hall Inc., Old Tappan, NJ, 1984 | 282 | 1984 |
| A relational language for parallel programming KL Clark, S Gregory Proceedings of the 1981 conference on Functional programming languages and …, 1981 | 254 | 1981 |
| April—agent process interaction language FG McCabe, KL Clark International Workshop on Agent Theories, Architectures, and Languages, 324-340, 1994 | 252 | 1994 |
| Logic programming R Kowalski Handbook of the History of Logic 9, 523-569, 2014 | 207 | 2014 |
| Logic programming WR Clark, K Clark | 178 | 1982 |
| A First Order Theory of Data and Programs. KL Clark, SÅ Tärnlund IFIP Congress, 939-944, 1977 | 178 | 1977 |
| Negation as failure. Logic and Databases KL Clark Logic and Databases, Plenum, 1978 | 170 | 1978 |
| PROLOG: a language for implementing expert systems KL Clark, F McCabe, FG McCabe Imperial College of Science and Technology. Department of Computing, 1980 | 164 | 1980 |
| On Optimal Parameters for Ant Colony Optimization Algorithms. D Gaertner, KL Clark IC-AI, 83-89, 2005 | 146 | 2005 |
| IC-Prolog language features KL Clark, FG MacCabe, S Gregory Imperial College of Science and Technology. Department of Computing, 1981 | 139 | 1981 |
| Algorithm classification through synthesis KL Clark, J Darlington The computer journal 23 (1), 61-65, 1980 | 120 | 1980 |
| The control facilities of IC-Prolog KL Clark, FG McCabe Department of Computing Imperial College of Science & Technology, 1979 | 119 | 1979 |
| Parlog: A parallel logic programming language KL Clark, S Gregory Imperial College of Science and Technology. Department of Computing, 1983 | 116 | 1983 |
| Energy Saving and Added Customer Value in Intelligent Buildings. M Boman, P Davidsson, N Skarmeas, KL Clark, R Gustavsson PAAM, 505-516, 1998 | 98 | 1998 |
| Predicate logic: a calculus for deriving programs K Clark, S Sickel Proceedings of the 5th international joint conference on Artificial …, 1977 | 80 | 1977 |
| Notes on systems programming in PARLOG K Clark, S Gregory University of London. Imperial College of Science and Technology. Department …, 1984 | 70 | 1984 |
| Notes on the Implementation of PARLOG K Clark, S Gregory The Journal of Logic Programming 2 (1), 17-42, 1985 | 69 | 1985 |
Steve GregoryUniversity of Bristol在 cs.bris.ac.uk 的电子邮件经过验证