摘要
论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式的结合.
The paper describes differences and relations between logical,functional and object-oriented programming.A meta-level extension of PROLOG is given.The methods of implementation of functional and object-oriented programming are discussed.From the viewpoint of programming methodology, the system emerges multiple programming styles, and is a combination of logical, functional and object-oriented programming paradigms.
关键词
程序设计
PROLOG语言
函数
logic programming
PROLOG language
functional programming
meta-level reasoning
object-oriented programming
