António Porto

Learn More
We present a selective backtracking method for Horn clause programs, as applied to Prolog (2)[8)(11)[12], a programming language based on first-order predicate calculus (3)(4)~ developed at the university of Marseille (18]. This method is based on the general method expounded in (7] for backtracking intelligently in AND/OR trees. It consists, essentially,(More)