Results 61 to 70 of about 1,138,309 (354)
Fixpoint semantics for logic programming a survey [PDF]
, 2002 The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology.
Fitting, Melvin
core +1 more source
A Computational Workflow to Predict Biological Target Mutations: The Spike Glycoprotein Case Study
Molecules, 2023 The biological target identification process, a pivotal phase in the drug discovery workflow, becomes particularly challenging when mutations affect proteins’ mechanisms of action.
Pietro Cozzini +3 more
doaj +1 more source
A Survey of the Proof-Theoretic Foundations of Logic Programming [PDF]
arXiv, 2021 Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using this foundation for the past 35 years to elevate logic programming from its roots in first-order classical logic ...
arxiv
Specializing Interpreters using Offline Partial Deduction [PDF]
, 2004 We present the latest version of the Logen partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.We show how to achieve Jones ...
A. Lakhotia +37 more
core +2 more sources
Towards the integration of functions, relations and types in an AI programming language [PDF]
, 1990 This paper describes the design and implementation of the programming language PC-Life. This language integrates the functional and the Logic-oriented programming style and feature types supporting inheritance.
A Eisele +13 more
core +2 more sources
A debugging model for functional logic programs [PDF]
, 1993 This paper presents a box-oriented debugging model for the functional logic language ALF. Due to the sophisticated operational semantics of ALF which is based on innermost basic narrowing with simplification, the debugger must reflect the application of the different computation rules during program execution.
Hanus, M., Josephs, B.
openaire +4 more sources
Proof Checking and Logic Programming [PDF]
, 2016 International audienceIn a world where trusting software systems is increasingly important, formal methods and formal proof can help provide trustable foundations.
Miller, Dale
core +3 more sources
Design and implementation of CoLoR architecture control plane based on P4
Dianxin kexue, 2018 P4 (programming protocol-independent packet processor) can redefine the fields recognized by the forwarding device and its processing logic through software programming.Aiming at the problems that the new architecture CoLoR faces in actual deployment and
Ruohan LIU, Hongbin LUO, Xingbeng WEN
doaj +2 more sources
Methodology for Automated Design of Quantum-Dot Cellular Automata Circuits
IEEE Open Journal of Nanotechnology, 2023 Quantum-dot Cellular Automata (QCA) provide very high scale integration potential, very high switching frequency, and have extremely low power demands, which make the QCA technology quite attractive for the design and implementation of large-scale, high ...
Orestis Liolis +4 more
doaj +1 more source
Derivation of logic programs by functional methods [PDF]
Information Processing Letters, 1991 In this note we present a method for the calculational derivation of logic programs, employing techniques recently developed for the derivation of functional programs. It has been proposed [10] that the process of synthesizing logic programs should begin with a specification that is itself a (possibly inefficient) logic program; subsequently ...
openaire +4 more sources