Concurrent Prolog
Guarded Horn Clauses (GHC/KL1/KLIC)