Prolog代码可以被看作“明显的”单赋值，这里明显的含义为，它的（命名）变量可以显式的处在未赋值状态，或只能准确的被设置一次。相反的，在Haskell中，没有未赋值变量，而所有变量可以看作在创建时就被隐式的设定了它的值（更精确的说是设置了计算对象在“在需要时”产生它的值）。
指定语句的回传值.在一些编程语言中，指定叙述的整个语句可能会传回某种型别的一个值，而在其它语言中则不会。在 C 编程语言中指定语句只会单纯返回指定值，而允许这样子的片语 codice_14，其中指