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

definite clause

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

definite clause
     
         A {Horn clause} that has exactly one {positive
        literal}.
     
        (2000-01-24)
依字母排序 : 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