PROLOG语言 信息科学卷 PROLOG语言一种逻辑程序设计语言。PROLOG是英语programming in logic的缩写。以符号为处理对象，变量无类型。其子句与一阶逻辑直接对应，适合推理。但难以表达复杂结构，控制策略不灵活。属描述性语言。成为通用人工智能程序设计语言。出处：信息科学卷-->计算机科学技术-->软件与系统
