逻辑编程和Prolog演化中的关键因素

Critical factors in the evolution of logic programming and Prolog

• K Darby-Dowman
• J Little