Micro-PROLOG: programming in logic
Micro-PROLOG: programming in logic
Introduction to logic programming
Introduction to logic programming
Logic for problem-solving
Programming in Prolog
Communicating sequential processes
Communications of the ACM
A Discipline of Programming
Systems programming in concurrent prolog
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
The semantic elegance of applicative languages
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Parallel interpretation of logic programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
The and/or process model for parallel interpretation of logic programs
The and/or process model for parallel interpretation of logic programs
Parlog86 and the dining logicians
Communications of the ACM
Semantic parallelization: a practical exercise in abstract interpretation
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
A Randomized Parallel Backtracking Algorithm
IEEE Transactions on Computers
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
Dataflow Computing Models, Languages, and Machines for Intelligence Computations
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
The relation between problems in large-scale concurrent systems and distributed databases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Network expert diagnostic system for real-time control
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Foundational issues in concurrent computing
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Implementing a graph-colouring algorithm in Parlog
ACM SIGPLAN Notices
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
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
Concurrent Logic Programming as a Hardware Description Tool
IEEE Transactions on Computers
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Actors as a special case of concurrent constraint (logic) programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
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)
Using Flat Concurrent Prolog in System Modeling
IEEE Transactions on Software Engineering
A customizable substrate for concurrent languages
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
Communications of the ACM
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Integrating parallel dataflow programming with the Ada tasking model
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
ACM Transactions on Programming Languages and Systems (TOPLAS)
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Two Rule-Based Building-Block Architectures for Policy-Based Network Control
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
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 Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Agents as Multi-threaded Logical Objects
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
SCOOP, Structured Concurrent Object-Oriented Prolog
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Rule-Based Building-Block Architectures for Policy-Based Networking
Journal of Network and Systems Management
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
An efficient Parallel Substrate for Typed Feature Structures on shared memory parallel machines
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Unrestricted and-parallel execution of logic programs with dependency directed backtracking
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A parallel logic programming language for PEPSys
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Parallel programming with logic languages: A survey
Computer Languages
DRL: A distributed real-time logic language
Computer Languages
Hi-index | 0.04 |
PARLOG is a logic programming language in the sense that nearly every definition and query can be read as a sentence of predicate logic. It differs from PROLOG in incorporating parallel modes of evaluation. For reasons of efficient implementation, it distinguishes and separates and-parallel and or-parallel evaluation.PARLOG relations are divided into two types: single-solution relations and all-solutions relations. A conjunction of single-solution relation calls can be evaluated in parallel with shared variables acting as communication channels for the passing of partial bindings. Only one solution to each call is computed, using committed choice nondeterminism.A conjunction of all-solutions relation calls is evaluated without communication of partial bindings, but all the solutions may be found by an or-parallel exploration of the different evaluation paths. A set constructor provides the main interface between single-solution relations and all-solutions relations.This paper is a tutorial introduction to PARLOG. It assumes familiarity with logic programming. Categories and Subject Descriptors: D.l.l [Programming Techniques]: Applicative (Functional)