λProlog

Prolog（英语：λProlog），因为高阶模式具有表现力，但它们相关的合一过程保留了更接近一阶合一的理论属性。 例如，对于多项式 X2 和 Y3 可以通过采纳 X = Z3 和 Y = Z2 而合一到 Z6。 合一概念是在 Prolog

Barendregt 1991年的论文中，他也在此框架中定义了λ-立方的角。 Olivier Ridoux 在他的 Habilitation à diriger les recherches Lambda-Prolog de A à Z... ou presque 中给出了此立方的一个截边角后的模版(p

由於Erlang早期以Prolog開發製成，受語言特性影響，即成為函數式語言。 單次賦值 每個变量只能跟数据綁一次，所以，不像一般程序设计语言的变量可以多次指定為不同的值。單次賦值的好處是狀態單純，使程序容易閱讀。 及早求值或嚴格求值 Erlang基本求值策略為電腦語言中及早求值之特性。而且，可以藉由明確使用無參數的λ表达式，將特定函數設定為惰性求值策略。

REBOL实化了代码与数据的相互转换。 许多语言，如Lisp、JavaScript和Curl等，提供了eval或evaluate过程使其有解释器的功能。 Prolog语言的Logtalk（英语：Logtalk）框架提供了逻辑程序设计上下文的实化。 Smalltalk与演员模型的语言实化了块（block）与消息。

现在，Standard ML, OCaml, F#, Ada, Haskell, Mercury, Visual Prolog, Scala, Julia等。Java, C#, Visual Basic .NET and Delphi引入了泛型作为参数多态。 C++的模板特殊化这样的类型多态（type