Search Results - Implementations of Logic Programming

Backtracking in independent and-parallel implementations of logic programming languages by Pontelli, E., Gupta, G.

“… The problem is tackled in the context of logic programming, although the solution proposed is sufficiently general to be easily extended to different nondeterministic systems, such as constraint programming systems…”
Get full text

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language by Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“…The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations…”
Get full text

Parma-bridging the performance gap between imperative and logic programming: High-performance implementations of logic programming systems by TAYLOR, A

Get full text

The execution algorithm of mercury, an efficient purely declarative logic programming language: High-performance implementations of logic programming systems by SOMOGYI, Z, HENDERSON, F, CONWAY, T

Get full text

Detection and optimization of suspension-free logic programs: High-performance implementations of logic programming systems by DEBRAY, S, GUDEMAN, D, BIGOT, P

Get full text

High-performance implementations of logic programming systems by GUPTA, Gopal, CARLSSON, Mats

Get full text

On the implementation of the probabilistic logic programming language ProbLog by KIMMIG, ANGELIKA, DEMOEN, BART, DE RAEDT, LUC, COSTA, VÍTOR SANTOS, ROCHA, RICARDO

“…The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning…”
Get full text

Guest editors' introduction: High-performance implementations of logic programming systems by Gupta, Gopal, Carlsson, Mats

Get full text

Partial translation : Towards a portable and efficient prolog implementation technology: High-performance implementations of logic programming systems by TARAU, P, DE BOSSCHERE, K, DEMOEN, B

Get full text

The Vienna Abstract machine: High-performance implementations of logic programming systems by KRALL, A

Get full text

Experience with the Super Monaco optimizing compiler: High-performance implementations of logic programming systems by TICK, E, MASSEY, B. C, LARSON, J. S

Get full text

Overview of DASWAM : Exploitation of dependent and-parallelism: High-performance implementations of logic programming systems by SHEN, K

Get full text

Multilog and data or-parallelism: High-performance implementations of logic programming systems by SMITH, D. A

Get full text

Design and analysis of hardware for high-performance Prolog: High-performance implementations of logic programming systems by HOLMER, B. K, SANO, B, CARLTON, M, VAN ROY, P, DESPAIN, A. M

Get full text

A driving pulse edge modulation technique and its complex programming logic devices implementation by Chen, Xiao, Qu, Dong-chang, Guo, Yong, Chen, Guo-zhu

“… This technique is used in the driving circuit based on complex programmable logic devices （CPLDs）, and the switching voltage spike of IGBTs can be restrained through software, which is easier and more flexible to adjust…”
Get full text

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch by Tarau, Paul

Get full text

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments by MANCARELLA, PAOLO, TERRENI, GIACOMO, SADRI, FARIBA, TONI, FRANCESCA, ENDRISS, ULLE

“…We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness…”
Get full text

Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents by Goto, Yuki, Fujita, Megumi, Nide, Naoyuki

“… Paraconsistent logic programming is promising to make appropriate action decisions even when an agent is exposed to such uncertain information or contradictory facts, but there has been no implementation…”
Get full text

Commonly used Algorithms in Data Science Along with Internal Logics and Implementations through R Programming by Srikanth, T., Nagavarapu, Sateesh, kumar, K.Umapavan, D, Narahari

“… The current work is dealing with the inherent logics existing in the algorithms like Classification, Dimensionality reduction and Recommender systems along with the suitable examples…”
Get full text

Scoping constructs in logic programming: Implementation problems and their solution by Nadathur, Gopalan, Jayaraman, Bharat, Kwon, Keehang

“…The inclusion of universal quantification and a form of implication in goals in logic programming is considered…”
Get full text