STRONGLY CONSTRUCTIVE LEARNING OF A SORT OF RECURSIVE LOGIC PROGRAM

• 一类递归逻辑程序的强构造学习