P-Prolog: a parallel logic programming language based on exclusive relation
Proceedings on Third international conference on logic programming
Making exhaustive search programs deterministic
Proceedings on Third international conference on logic programming
Compiling OR-parallelism into AND-parallelism
Proceedings on Third international conference on logic programming
Transputer-based experiments with the ZAPP architecture
Volume I: Parallel architectures on PARLE: Parallel Architectures and Languages Europe
The early years of logic programming
Communications of the ACM
Towards more natural programming languages
Artificial intelligence programming environments
Nondeterminism with referential transparency in functional programming languages
The Computer Journal
A subset of Concurrent Prolog and its interpreter
Concurrent Prolog
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The languages FCP(:) and FCP(:,?)
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
A logic programming language based on the Andorra model
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
Strand: new concepts in parallel programming
Strand: new concepts in parallel programming
Design of the kernel language for the parallel inference machine
The Computer Journal - On concurrent logic programming
Parallel logic programming
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
Communications of the ACM
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Evaluation of KL1 and the inference machine
Selected papers from the third annual conference on Meik US 92
Experiments with speculative parallelism in Parlog
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System
ACM Transactions on Programming Languages and Systems (TOPLAS)
Anomalies in parallel branch-and-bound algorithms
Communications of the ACM
Meta-Level Inference Systems
Programming In Concurrent Logic Languages
IEEE Software
Solving Optimisation Problems in the Aurora Or-parallel Prolog System
ICLP '91 Pre-Conference Workshop on Parallel Execution of Logic Programs
Programming in prolog: an indepth study of problems for beginners learning to program in prolog
Programming in prolog: an indepth study of problems for beginners learning to program in prolog
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |