Analysis and diagnosis of logic circuits using programming language PROLOG

被引：0
|
作者：
Lyulkin, AE
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1997年 / 04期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：42 / 51
页数：10
相关论文
共 50 条
  • [41] TOWARD INTEGRATING IMPERATIVE AND LOGIC PROGRAMMING PARADIGMS - A WYSIWYG APPROACH TO PROLOG PROGRAMMING
    DELRIEUX, C
    AZERO, P
    TOHME, F
    SIGPLAN NOTICES, 1991, 26 (03): : 35 - 44
  • [42] MULTIPLE ROBOT PROGRAMMING USING A CONCURRENT LOGIC LANGUAGE
    BENARIEH, D
    MAIMON, O
    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1991, 4 (01) : 25 - 41
  • [43] A static analysis for classical linear logic programming language
    Kang, KS
    Tamura, N
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 610 - 610
  • [44] TS-PROLOG: A LOGIC SIMULATION LANGUAGE.
    Futo, Ivan
    Gergely, Tamas
    Transactions of the Society for Computer Simulation, 1986, 3 (04): : 319 - 336
  • [45] The Realization of Naive Bayes Algorithm in the Logic Programming Framework PROLOG
    Malov, Alexei
    Rodionov, Sergey
    Kholod, Ivan
    PROCEEDINGS OF THE 2016 IEEE NORTH WEST RUSSIA SECTION YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING CONFERENCE (ELCONRUSNW), 2016, : 273 - 276
  • [46] PROLOG AS METHOD LANGUAGE IN AN OBJECT ORIENTED PROGRAMMING ENVIRONMENT
    ROGGENBUCK, S
    GEBHARDT, R
    AMELING, W
    ANGEWANDTE INFORMATIK, 1989, (05): : 181 - 188
  • [47] SOFTWARE FORMAL SPECIFICATION BY LOGIC PROGRAMMING - THE EXAMPLE OF STANDARD PROLOG
    EDDBALI, A
    DERANSART, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 278 - 287
  • [48] HIGH-PERFORMANCE LOGIC PROGRAMMING WITH THE AQUARIUS PROLOG COMPILER
    VANROY, P
    DESPAIN, AM
    COMPUTER, 1992, 25 (01) : 54 - 68
  • [49] Learning Programming in Prolog Using Schemata
    Bielikova, Maria
    Navrat, Pavol
    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1998, 33 (02): : 41 - 46
  • [50] ENGLISH AS A LOGIC PROGRAMMING LANGUAGE
    KOWALSKI, R
    NEW GENERATION COMPUTING, 1990, 8 (02) : 91 - 93
12345