Improving Prolog Performance by Inductive Proof Generalizations

• Authors:

• Milind Gandhe;G. Venkatesh

• Affiliations:

• -;-

• Venue:
• KBCS '89 Proceedings of the International Conference on Knowledge Based Computer Systems
• Year:
• 1989