Guarded horn clauses

A transformational approach to the derivation of hardware algorithms from recurrence equations

Proceedings of the 1988 ACM/IEEE conference on Supercomputing

The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)

Fully abstract compositional semantics for logic programs

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Generators and the replicator control structure in the parallel environment of ALLOY

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

Design and distributed implementation of the parallel logic language shared Prolog

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming

The concurrent language, Shared Prolog

ACM Transactions on Programming Languages and Systems (TOPLAS)

Logic programming as the integrator of the Fifth Generation Computer Systems project

Communications of the ACM

Launching the new era

Communications of the ACM

Transformations of CCP programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Resource-Passing Concurrent Programming

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software

Research and Development on Knowledge Bases Systems at ICOT

VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases

A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

Logic programming in the context of multiparadigm programming: the Oz experience

Theory and Practice of Logic Programming

Rule-based workflow management for bioinformatics

The VLDB Journal — The International Journal on Very Large Data Bases

Parallel materialization of large ABoxes

Proceedings of the 2009 ACM symposium on Applied Computing

Bidirectional chart generation of natural language texts

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence

Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!)

Proceedings of the sixth workshop on Declarative aspects of multicore programming

Coordination of many agents

ICLP'05 Proceedings of the 21st international conference on Logic Programming

Provably correct and complete transaction rules for updating 3D city models

Geoinformatica

The binprolog experience: Architecture and implementation choices for continuation passing prolog and first-class logic engines

Theory and Practice of Logic Programming - Prolog Systems

From the π-calculus to flat GHC

Proceedings of the 14th symposium on Principles and practice of declarative programming