„Dies liegt nicht zuletzt daran, daß die Operatoren ''prozedural'' gesehen Programmtransformationen darstellen, während sie deklarativ gesehen als Zusicherung von Wahrheitswerten aufzufassen sind.“<ref>{{Internetquelle|url=https://books.google.se/books?id=-YTLBgAAQBAJ&pg=PA102|titel=Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz|autor=Clemens Beckstein|zugriff=2022-02-13}}</ref>
auf einen [[Ablauf]] (eine [[Prozedur]]) bezogen