Parlog is a logic programming language designed for efficient utilization of parallel computer architectures. Its semantics is based on first order predicate logic. It expresses concurrency

Concurrency

Concurrency, concurrent, or concurrence may refer to:* Concurrence, a legal term referring to the need to prove both actus reus and mens rea...

, interprocess communication, indeterminacy

Indeterminacy

Indeterminacy or underdeterminacy may refer to:* Indeterminacy in computation * aleatoric music and indeterminacy in music.* Statically indeterminate*Indeterminacy a literary term...

 and synchronization

Synchronization

Synchronization is timekeeping which requires the coordination of events to operate a system in unison. The familiar conductor of an orchestra serves to keep the orchestra in time....

 within the declarative language framework.

It was designed at Imperial College, London

London

London is the capital city of :England and the :United Kingdom, the largest metropolitan area in the United Kingdom, and the largest urban zone in the European Union by most measures. Located on the River Thames, London has been a major settlement for two millennia, its history going back to its...

 by Steve Gregory and Keith L. Clark, as a descendant of IC Prolog and Relational Language.