浙江万里学院学报
浙江萬裏學院學報
절강만리학원학보
JOURNAL OF ZHEJIANG WANLI UNIVERSITY
2007年
2期
37-40
,共4页
Visual Prolog%回溯%截断%人工智能
Visual Prolog%迴溯%截斷%人工智能
Visual Prolog%회소%절단%인공지능
回溯机制是Visual Prolog程序运行的重要机制,是获取所有可能解的一种方法.但在实际问题的解决过程中,有时却不需要回溯.Visual Prolog提供的内部谓词-截断谓词"!"可以用来阻止回溯,而且从某种意义上讲,只有学会了截断谓词的使用,才能自由驾驭Prolog.文章主要结合实例对截断谓词的作用以及使用方法进行了详细介绍,并指出了截断谓词的作用本质上是删除满足一定条件的回溯点.
迴溯機製是Visual Prolog程序運行的重要機製,是穫取所有可能解的一種方法.但在實際問題的解決過程中,有時卻不需要迴溯.Visual Prolog提供的內部謂詞-截斷謂詞"!"可以用來阻止迴溯,而且從某種意義上講,隻有學會瞭截斷謂詞的使用,纔能自由駕馭Prolog.文章主要結閤實例對截斷謂詞的作用以及使用方法進行瞭詳細介紹,併指齣瞭截斷謂詞的作用本質上是刪除滿足一定條件的迴溯點.
회소궤제시Visual Prolog정서운행적중요궤제,시획취소유가능해적일충방법.단재실제문제적해결과정중,유시각불수요회소.Visual Prolog제공적내부위사-절단위사"!"가이용래조지회소,이차종모충의의상강,지유학회료절단위사적사용,재능자유가어Prolog.문장주요결합실례대절단위사적작용이급사용방법진행료상세개소,병지출료절단위사적작용본질상시산제만족일정조건적회소점.
