3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 1 cited
A Practical View on Renaming
Marija Kulaš
We revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog. A concept of relaxed cor…
cs.PL2003★ 3 cited
Pure Prolog Execution in 21 Rules
Marija Kulas
A simple mathematical definition of the 4-port model for pure Prolog is given. The model combines the intuition of ports with a compact representation of execution state. Forward a…