Analysis and diagnosis of logic circuits using programming language PROLOG

被引:0
|
作者
Lyulkin, AE
机构
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:42 / 51
页数:10
相关论文
共 50 条
  • [1] Analysis and diagnosis of logic circuits using programming language PROLOG
    Lyul'kin, A.E.
    Avtomatika i Vychislitel'naya Tekhnika, (04): : 42 - 51
  • [3] PROLOG - A LANGUAGE FOR PROGRAMMING MEDICAL LOGIC
    SHIFMAN, M
    JELOVSEK, FR
    M D COMPUTING, 1988, 5 (02): : 36 - &
  • [4] A DIFFERENT KIND OF LANGUAGE - PROLOG, PROGRAMMING IN LOGIC
    CABROL, D
    FORREST, TP
    JOURNAL OF CHEMICAL EDUCATION, 1986, 63 (02) : 131 - 135
  • [5] STRUCTURED PROLOG - A LANGUAGE FOR STRUCTURED LOGIC PROGRAMMING
    GIORDANO, L
    MARTELLI, A
    ROSSI, G
    SOFTWARE-CONCEPTS AND TOOLS, 1994, 15 (03): : 125 - 145
  • [6] REASONING ABOUT PROTEIN TOPOLOGY USING THE LOGIC PROGRAMMING LANGUAGE PROLOG
    STERNBERG, MJE
    TAYLOR, WR
    NYAKAIRU, J
    FOX, JP
    RAWLINGS, CR
    JOURNAL OF MOLECULAR GRAPHICS, 1985, 3 (03): : 108 - 109
  • [7] REASONING ABOUT PROTEIN TOPOLOGY USING THE LOGIC PROGRAMMING LANGUAGE PROLOG
    RAWLINGS, CJ
    TAYLOR, WR
    NYAKAIRU, J
    FOX, J
    STERNBERG, MJE
    JOURNAL OF MOLECULAR GRAPHICS, 1985, 3 (04): : 151 - 157
  • [8] LAMBDA-PROLOG - AN EXTENDED LOGIC PROGRAMMING LANGUAGE
    FELTY, A
    GUNTER, E
    HANNAN, J
    MILLER, D
    NADATHUR, G
    SCEDROV, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 754 - 755
  • [9] αProlog:: A logic programming language with names, binding and α-equivalence
    Cheney, J
    Urban, C
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 269 - 283
  • [10] LOGIC PROGRAMMING IN PROLOG
    GOODALL, A
    DATA PROCESSING, 1984, 26 (02): : 37 - &