Results 1 to 10 of about 575,998 (339)
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain [PDF]
Entropy, 2021 This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, called ...
Xin Sun, Piotr Kulicki, Mirek Sopek
doaj +2 more sources
The Logic of Logic Programming [PDF]
arXiv, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential.
Denecker, Marc, Warren, David S.
arxiv +3 more sources
Programming in logic without logic programming [PDF]
Theory and Practice of Logic Programming, 2016 AbstractIn previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the formif antecedent then consequenttrue in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states.
KOWALSKI, R, SADRI, F
openaire +8 more sources
Design and Validation of an Augmented Reality Teaching System for Primary Logic Programming Education [PDF]
Sensors, 2022 Programming is a skill that requires high levels of logical thinking and problem-solving abilities. According to the Curriculum Guidelines for the 12-Year Basic Education currently implemented in Taiwan, programming has been included in the mandatory ...
Chi-Yi Tsai, Yu-Cheng Lai
doaj +2 more sources
Logic Programming with Default, Weak and Strict Negations [PDF]
arXiv, 2005 This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.
Yamasaki, Susumu
arxiv +5 more sources
Exploiting Parallelism in Coalgebraic Logic Programming [PDF]
arXiv, 2013 We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism.
Amato +24 more
arxiv +7 more sources
Embedding defeasible logic into logic programming [PDF]
Theory and Practice of Logic Programming, 2006 To appear in Theory and Practice of Logic ...
Antoniou, Grigoris +3 more
openaire +7 more sources
Communications of the ACM, 1985 Logic programming is programming by description. The programmer describes the application area and lets the program choose specific operations. Logic programs are easier to create and enable machines to explain their results and actions.
Michael Genesereth, Matthew L. Ginsberg
openalex +3 more sources
Coalgebraic Semantics for Probabilistic Logic Programming [PDF]
Logical Methods in Computer Science, 2021 Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper
Tao Gu, Fabio Zanasi
doaj +1 more source
Logic and logic programming [PDF]
Communications of the ACM, 1992 John A. Robinson
openalex +3 more sources