Semantics of a Logic Programming Language with a Reducibility Predicate