Online dictionary - over 2 million references

to Chinese

If you can't find the translation you need, try our free translation

Online dictionary - over 2 million references

1. 逻辑编程 A宣示，根据优先处理的逻辑编程的关系样式。原始的逻辑编程语言是序幕。概念根据垫铁条目。程序员写一个“数据库” “事实”，即wetwater。 “水是湿的”，并且“统治”，即mortalX ：- humanX。 “X是临死的由X暗示是人的”。事实和规则共同通认作为“条目”。用户供应系统试图使用“决议”或“反向链结”证明的一个“目标”。这介入匹配当前目标反对每个事实或每个规则的左手边使用“统一”。如果目标匹配一个事实，目标成功; 如果它匹配一个规则然后处理recurses，在规则的右边采取每个次级目标作为当前目标。如果所有次级目标成功那么规则成功。每次一个可能的条目被选择， “挑选点”在堆被创造。如果随后决议发生故障那么控制最终回到挑选点，并且随后条目被尝试。这通认作为“回溯”。条目也许包含承担所有价值必要做事实或左手边规则比赛目标的逻辑变量。统一束缚这些可变物对目标的对应的subterms。这样捆绑同条目被选择的挑选点联系在一起和被解开，当回溯到达那挑选点时。用户是消息灵通的他的第一个目标的成功或失败，并且，如果它成功并且包含可变物他告诉那些可变物的什么价值造成它成功。他可以然后请求可选择的解决方案。
2. 创造使计算机逻辑上辩解的节目

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z