これは当初PrologwithFreezeやICPrologで使われ、RelationalLanguage、ConcurrentProlog、PARLOG、GHC、KL1、Strand、Vulcan、Janus、Mozart/Oz、FlowJava、Aliceといった言語で真の並行性プリミティブとなった。
这些开始于PrologwithFreeze和ICProlog，并成为真正的并发原语，包括关系语言、ConcurrentProlog、守卫霍恩子句（GHC）、Parlog、Strand、Vulcan、Janus、Oz-Mozart、FlowJava和AliceML。