Explanation-based generalization in a logic programming environment

Open in new window