atoms(原子) 原子是符号项或者字符串项
atoms（原子） • 原子是符号项或者字符串项
backtracking(回溯) · Visual prolog内部有一个求解搜索机制。当一给定的子目标计算未 能成功完成, Visual Prolog返回上一子目标并试着用不同的方法来 满足。这就是 Visual Prolog的回退且重试方法,称之为回溯,以找 到给定问题的解
backtracking（回溯） • Visual Prolog内部有一个求解搜索机制。当一给定的子目标计算未 能成功完成，Visual Prolog返回上一子目标并试着用不同的方法来 满足。这就是Visual Prolog的回退且重试方法，称之为回溯，以找 到给定问题的解
backtracking points (回溯点) · Visual Prolog使用回退且重试的方法,称之为回溯方法,以对一给 定问题找出解。当 Visual Prolog开始寻找一问题(或目标)的解时, 它要在两种可能的方法之间进行选择。它在一个分枝点设置一个标志 称之为回溯点)并选择第一个子目标进行追踪。如果该子目标失败, Visua| Prolog将回退到回溯点并尝试备选的子目标
backtracking points （回溯点） • Visual Prolog使用回退且重试的方法，称之为回溯方法，以对一给 定问题找出解。当Visual Prolog开始寻找一问题（或目标）的解时， 它要在两种可能的方法之间进行选择。它在一个分枝点设置一个标志 （称之为回溯点）并选择第一个子目标进行追踪。如果该子目标失败， Visual Prolog将回退到回溯点并尝试备选的子目标
binary domain (二进制论域) · Visual Prolog有一种特殊的二进制内部论域以保存二进制数据,还 有用于创建二进制项和访问二进制项单个元素的谓词,二进制项的 主要作用是保存数据,这些数据再没有其他合理的表示方法,如屏幕 位图数据。二进制项可以以文本格式读写。二进制项可象其他项一样 比较、合一
binary domain （二进制论域） • Visual Prolog有一种特殊的二进制内部论域以保存二进制数据，还 有用于创建二进制项和访问二进制项单个元素的谓词， 二进制项的 主要作用是保存数据，这些数据再没有其他合理的表示方法，如屏幕 位图数据。二进制项可以以文本格式读写。二进制项可象其他项一样 比较、合一
bound variable(绑定变量) 绑定或实例化的变量,是一个引用了已知值(项)的变量。谓词 bound/1可用于检查一个指定变量是否绑定到某一值 ·参见:合一( unification)
bound variable（绑定变量） • 绑定或实例化的变量，是一个引用了已知值（项）的变量。谓词 bound/1可用于检查一个指定变量是否绑定到某一值。 • 参见：合一（unification）