...状态由一些节组成，在一个节中，通过向后链接，可以建立或抛弃一些参量，这与逻辑程序设计语言(programming language for logic，Prolog)回溯机制基本相同；也可以从一个节到另一个节的向前移动，从而实现向前链接状态空间搜索。
基于1个网页-相关网页
programming language for logic
逻辑编程语言
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动