2 citations · 2 across the 1 of their papers we have counts for
1 paper
António Porto
Prolog's very useful expressive power is not captured by traditional logic programming semantics, due mainly to the cut and goal and clause order. Several alternative semantics hav…