逆にProlog（プロログ）のような高水準言語は計算機の実際の演算の詳細とは完全に切り分けるという絶対原理に基づいている。
而另一些语言，如即如抽象原则的Prolog，则完全无视计算机实际运行的操作细节，可谓是高级语言。