最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。
是一种面向演绎推理的逻辑型程序设计语言。
什么时候逻辑语言出现
原创 | 2022-11-24 18:53:14 |浏览：1.6万
猜你想问
-
化的大写字母是什么 化的大写字母是HUA释义[ huà ]1、性质或形态改变：变～。分～。僵～。教（jiào）～。熔～。融～。潜移默～。～干弋为玉帛。。2、佛教、道教徒募集财物：～缘。～斋。3、用在名词或形容词后，... -
化字在前面的有什么成语 【化敌为友】[释义]把原来的敌人当成朋友看待。[出处]刘绍棠《村妇》。[近义]冰释前嫌。[反义]反目成仇。【化干戈为玉帛】[释义]干戈：泛指兵器玉帛：玉器和丝织品，古... -
牛脑油是什么 牛脑油这个词有两种含义，一是指牛乳制品，二是指从牛的脂肪组织里提炼出来的油脂。两种含义容易混淆。第一种含义：黄油，英文名为butter或butter fat。第二种含义：从牛的... -
大蒙是什么酒 大蒙说的是蒙古王酒，蒙古王是浓香型白酒，一般度数比较高，五十多度的居多，在内蒙属于较好的酒，纯粮酿造，喝完不难受。 大蒙是什么酒      是一种啤酒。大蒙... -
表格里面填充色为什么填不上去 可能是设置了条件格式。如果在单元格中设置了条件格式，那么在使用填充颜色时，符合条件格式的单元格是无法进行颜色填充的。解决办法:选中无法填充颜色的单元格，点击...
