Dynamo

A logic programming language based on dynamic predicate logic. It implements it using executable processes, augmented with constructs for bounded iteration and bounded choice. It is somewhat also based on Alma, but is fully-declarative without side effects.