A Distributed Unification Scheme for Systolic Logic Programs