虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

Prolog

Prolog(Programminginlogic)是一种面向演绎推理的逻辑型程序设计语言,最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。[1]