Programming in logic

美 [ˈproʊɡræmɪŋ ɪn ˈlɑːdʒɪk]英 [ˈprəʊɡræmɪŋ ɪn ˈlɒdʒɪk]

1

The backtracking mechanism is an important facility for programming in logic .

回溯机制是逻辑程序设计的重要设施。
2

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解法。
3

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是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境。