Analysis and diagnosis of logic circuits using programming language PROLOG

被引：0
|
作者：
Lyul'kin, A.E.
机构：
来源：
Avtomatika i Vychislitel'naya Tekhnika | / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：42 / 51
相关论文
共 50 条
  • [1] Analysis and diagnosis of logic circuits using programming language PROLOG
    Lyulkin, AE
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1997, (04): : 42 - 51
  • [2] Analysis and Diagnostics of Logic Circuits Using the Prolog Language
    Autom Control Comput Sci, 4 (33):
  • [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 - &
12345