Visual Prolog provides an inner predicate-cut predicate that can prevent Visual Prolog from backtracking .

VisualProlog提供的内部谓词-截断谓词！

This paper presents a distributed prolog architecture with a focus on remote predicate call .

本文提出了一种分布式Prolog体系结构，其核心为远程谓词调用。

Realizing Certain Dispersed Certain Multistage Decision Solved Based on the DP Method bv Turbo PROLOG

定离确多阶段决策DP解法的TurboProlog实现

Using PROLOG language , we establish automatic inference based this method about proposition logic .

以PROLOG语言为背景，实现了由此方法而建立的命题逻辑中命题演绎的自动推理.

Design and implement of fault diagnosis system for catalytic cracking process based on Visual Prolog

基于VisualProlog的催化裂化故障诊断系统的设计与实现