Results 11 to 20 of about 1,498,950 (288)

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

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

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   +6 more sources

Nominal logic programming [PDF]

ACM Transactions on Programming Languages and Systems, 2008
Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, α-equivalence). This article investigates logic programming based on nominal logic. We describe some typical nominal logic programs, and develop the model-theoretic,
James Cheney
exaly   +6 more sources

DNA logic programming: From concept to construction

View
DNA programming, which is based on the principle of base complementary pairing and Boolean operations, exhibits organizational structures and algorithms similar to those observed in machine language.
Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang
doaj   +2 more sources

From Logic to Functional Logic Programs [PDF]

Theory and Practice of Logic Programming, 2022
AbstractLogic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework. Since amalgamated functional logic
Hanus, Michael
openaire   +4 more sources

Timetabling in constraint logic programming [PDF]

, 1996
In this paper we describe the timetabling problem and its solvability in a Constraint Logic Programming Language. A solution to the problem has been developed and implemented in ECLiPSe, since it deals with finite domains, it has well-defined ...
Kambi, M, Gilbert, D
core   +6 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

The Logic of Logic Programming

CoRR, 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.
Marc Denecker, David Scott Warren
openaire   +3 more sources

Service-Oriented Logic Programming [PDF]

Logical Methods in Computer Science, 2015
We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj   +1 more source