逻辑编程语言

luó jí biān chéng yǔ yán · ㄌㄨㄛˊ ㄐㄧˊ ㄅㄧㄢ ㄔㄥˊ ㄩˇ ㄧㄢˊ

修撰于 2026-06-29 18:32:27

拼音luó jí biān chéng yǔ yán
字母luo ji bian cheng yu yan
首字母ljbcyy
注音ㄌㄨㄛˊ ㄐㄧˊ ㄅㄧㄢ ㄔㄥˊ ㄩˇ ㄧㄢˊ
注音符号ㄌㄨㄛ ㄐㄧ ㄅㄧㄢ ㄔㄥ ㄩ ㄧㄢ

广

Prolog(Programming in logic)是一种面向演绎推理的逻辑型程序设计语言,最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。高济,何钦铭著,人工智能基础 (第二版),高等教育出版社,2008.10,第67页