语言选择:
免费网上英汉字典|3Dict

backward chaining

资料来源 : Free On-Line Dictionary of Computing

backward chaining
     
         An {algorithm} for proving a goal by recursively
        braking it down into sub-goals and trying to prove these until
        facts are reached.  Facts are goals with no sub-goals which
        are therefore always true.  Backward training is the program
        execution mechanism used by most {logic programming} language
        like {Prolog}.
     
        Opposite: {forward chaining}.
     
        (1997-07-14)
依字母排序 : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z