Introduction to Digital Circuits Based Logical Programming (DCBLP) - the Multiparadigmatic Way of Logical Based on Programming

被引：0
|
作者：
Hapl, Lukas [1 ]
Habiballa, Hashim [1 ]
机构：
[1] Univ Ostrava, Fac Sci, Dept Informat & Comp, 30 Dubna 22, Ostrava 70103 1, Czech Republic
来源：
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2019 (ICCMSE-2019) | 2019年 / 2186卷
关键词：
D O I：
10.1063/1.5137956
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
This article brings an overview and at the same time the very first introduction of possibly new way of programming based together on multiple programming paradigms, Boolean logic/combinational logic/sequentional logic and finite state machines principles. We will focus on the basics and fundamentals of such programming, its possible advantages and possible usage in real life using current programming languages without the needing to develop a new one.
引用
收藏
页数：5
相关论文
共 50 条
  • [41] On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution Semantics
    Fierens, Daan
    INDUCTIVE LOGIC PROGRAMMING, 2010, 5989 : 17 - 24
  • [42] Representing Logical Inference Steps with Digital Circuits
    Matsak, Erika
    HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND INTERACTION, PT II, 2009, 5618 : 178 - 184
  • [43] Tools for logical programming on the basis of graphic visualization of programming, analysis and debugging processes
    Galagan, M.I.
    Rumyantsev, Yu.I.
    Adeev, V.V.
    Bobkov, V.O.
    Mazan, V.V.
    Upravlyayushchie Sistemy i Mashiny, 1992, (5-6):
  • [44] LOGICAL SYNTHESIS OF CIRCUITS OF A MICROELECTRONIC DIGITAL COMPUTER
    KOBRINSKIY, YN
    ENGINEERING CYBERNETICS, 1969, (02): : 63 - +
  • [45] Logical Effort model for CNFET-based circuits
    Ali, Muhammad
    Ahmed, Mohammad
    Chrzanowska-Jeske, Malgorzata
    2014 IEEE 14TH INTERNATIONAL CONFERENCE ON NANOTECHNOLOGY (IEEE-NANO), 2014, : 460 - 465
  • [46] Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties
    Chesnevar, CI
    Simari, GR
    Godo, L
    Alsinet, T
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 353 - 365
  • [47] LOGICAL FOUNDATION FOR LOGIC PROGRAMMING BASED ON 1ST-ORDER LINEAR TEMPORAL LOGIC
    PLIUSKEVICIUS, R
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 391 - 406
  • [48] Orion - A Novel Programming Platform for Honing Logical Abilities
    Khandhar, Dharmil
    Parekh, Raj
    Narvekar, Meera
    2020 6TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND COMMUNICATION SYSTEMS (ICACCS), 2020, : 787 - 790
  • [49] Foundations and Extensions of Answer Set Programming: The Logical Approach
    Pearce, David
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 10 - 11
  • [50] SIMPLIFIED PRESENTATION AND LOGICAL ASPECTS OF LINEAR PROGRAMMING TECHNIQUE
    Heady, Earl O.
    JOURNAL OF FARM ECONOMICS, 1954, 36 (05): : 1035 - O1050
12345