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 条

[31] Implementation of a Plausible Reasoning in the Prolog Programming Language
Efimova, E. A.
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS, 2023, 57 (03) : 166 - 171
[32] Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of. Prolog/Makam
Stampoulis, Antonis
Chlipala, Adam
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,
[33] A prolog-based language for workflow programming
Gregory, Steve
Paschali, Martha
COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2007, 4467 : 56 - +
[34] INTRODUCTION TO THE PROLOG-III PROGRAMMING LANGUAGE
COLMERAUER, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 367 : 264 - 288
[35] Implementation of a Plausible Reasoning in the Prolog Programming Language
E. A. Efimova
Automatic Documentation and Mathematical Linguistics, 2023, 57 : 166 - 171
[36] AN ADAPTIVE PROLOG PROGRAMMING LANGUAGE WITH MACHINE LEARNING
Lu, Benjie
Liu, Zhiqing
Gao, Hui
2012 IEEE 2ND INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND INTELLIGENT SYSTEMS (CCIS) VOLS 1-3, 2012, : 21 - 24
[37] Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of lambda Prolog/Makam
Stampoulis, Antonis
Chlipala, Adam
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
[38] Logic programming and knowledge representation - The A-Prolog perspective
Gelfond, M
Leone, N
ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) : 3 - 38
[39] MIXED LANGUAGE PROGRAMMING FOR THE DEVELOPMENT OF EDUCATIONAL SOFTWARE - AN EXAMPLE USING C AND PROLOG
HOWELL, SK
KING, WJ
ENGINEERING EXCELLENCE : PEOPLE MAKE THE DIFFERENCE, VOLS 1-3, 1989, : 25 - 27
[40] TOPOLOGICAL DESIGN OF DISTRIBUTED CONTROL-SYSTEMS USING THE PROLOG PROGRAMMING LANGUAGE
KOZHEVNIKOV, GK
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1987, (03): : 3 - 5

← 1 2 3 4 5 →