Follow
Keith L. Clark
Title
Cited by
Cited by
Year
Negation as failure
KL Clark
Logic and data bases, 293-322, 1977
34101977
PARLOG: parallel programming in logic
K Clark, S Gregory
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 1-49, 1986
7471986
Predicate logic as a computational formalism.
KL Clark
Queen Mary, University of London, 1980
3361980
micro-PROLOG: Programming in Logic
KL Clark, FG Mc Cabe
Prentice Hall Inc., Old Tappan, NJ, 1984
2771984
April—agent process interaction language
FG McCabe, KL Clark
International Workshop on Agent Theories, Architectures, and Languages, 324-340, 1994
2521994
A relational language for parallel programming
KL Clark, S Gregory
Proceedings of the 1981 conference on Functional programming languages and …, 1981
2441981
Logic programming
R Kowalski
Handbook of the History of Logic 9, 523-569, 2014
1922014
A First Order Theory of Data and Programs.
KL Clark, SÅ Tärnlund
IFIP Congress, 939-944, 1977
1751977
Logic programming
WR Clark, K Clark
1731982
Negation as failure. Logic and Databases
KL Clark
Logic and Databases, Plenum, 1978
1621978
PROLOG: a language for implementing expert systems
KL Clark, F McCabe, FG McCabe
Imperial College of Science and Technology. Department of Computing, 1980
1611980
On Optimal Parameters for Ant Colony Optimization Algorithms.
D Gaertner, KL Clark
IC-AI, 83-89, 2005
1402005
IC-Prolog language features
KL Clark, FG MacCabe, S Gregory
Imperial College of Science and Technology. Department of Computing, 1981
1351981
Algorithm classification through synthesis
KL Clark, J Darlington
The computer journal 23 (1), 61-65, 1980
1201980
The control facilities of IC-Prolog
KL Clark, FG McCabe
Department of Computing Imperial College of Science & Technology, 1979
1201979
Parlog: A parallel logic programming language
KL Clark, S Gregory
Imperial College of Science and Technology. Department of Computing, 1983
1131983
Energy Saving and Added Customer Value in Intelligent Buildings.
M Boman, P Davidsson, N Skarmeas, KL Clark, R Gustavsson
PAAM, 505-516, 1998
981998
Predicate logic: a calculus for deriving programs
K Clark, S Sickel
Proceedings of the 5th international joint conference on Artificial …, 1977
791977
Notes on the Implementation of PARLOG
K Clark, S Gregory
The Journal of Logic Programming 2 (1), 17-42, 1985
701985
Notes on systems programming in PARLOG
K Clark, S Gregory
University of London. Imperial College of Science and Technology. Department …, 1984
691984
The system can't perform the operation now. Try again later.
Articles 1–20