逻辑编程语言
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页