A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics.

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Browse the full SEKE paper archive.