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

modular prolog

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

Modular Prolog
     
        An {interpreter} for {SB-Prolog} version 3.1 extended with
        {ML}-style {module}s.  Runs on {SPARC}.  Distributed under
        {GNU} {General Public License}.
     
        {(ftp://ftp.dcs.ed.ac.uk/pub/dts/mod-prolog.tar.Z)}.  E-mail:
        Brian Paxton .
     
        ["A Calculus for the Construction of Modular Prolog Programs",
        D. Sannella et al, J Logic Prog 12:147-177 (1992)].
     
        (1994-10-25)
依字母排序 : 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