Programming in logic
美 [ˈproʊɡræmɪŋ ɪn ˈlɑːdʒɪk]英 [ˈprəʊɡræmɪŋ ɪn ˈlɒdʒɪk]
- 网络逻辑编程
Programming in logic-
The backtracking mechanism is an important facility for programming in logic .
回溯机制是逻辑程序设计的重要设施。
-
According to the recurrence property of mathematical model built based on the DP method for certain dispersed certain multistage decision , combined with idea of programming in logic , this paper realized that this , type of decision question is solved based on the DP method by Turbo PROLOG .
本文根据定离确多阶段决策DP解法所建立数学模型的递推特性，结合逻辑程序设计思想，利用TurboProlog实现了此类决策问题的DP解法。
-
Visual Prolog has already become a widely used AI programming language in logic and international developing tools and environment , which is a powerful , general-purpose , intelligent and integrated visual studio .
VisualProlog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境。