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

tablog

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

TABLOG
     
         A programming language based on {first order
        predicate logic} with equality that combines {relational
        programming} and {functional programming}.  It has functional
        notation and {unification} as its binding mechanism.  TABLOG
        supports a more general subset of standard {first order logic}
        than {Prolog}.  It employs the Manna-Waldinger
        '{deductive-tableau}' proof system as an {interpreter} instead
        of {resolution}.
     
        (1997-06-19)
依字母排序 : 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