語言選擇:
免費網上英漢字典|3Dict

negation by failure

資料來源 : Free On-Line Dictionary of Computing

negation by failure
     
        An {extralogical} feature of {Prolog} and other {logic
        programming} languages in which failure of {unification} is
        treated as establishing the negation of a {relation}.  For
        example, if Ronald Reagan is not in our {database} and we
        asked if he was an American, Prolog would answer "no".
     
        (1994-11-29)
依字母排序 : 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