Suchergebnisse - Implementations of Logic Programming

Backtracking in independent and-parallel implementations of logic programming languages von 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 …”
Volltext

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language von 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 …”
Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

On the implementation of the probabilistic logic programming language ProbLog von 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 …”
Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

A driving pulse edge modulation technique and its complex programming logic devices implementation von 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 …”
Volltext

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

Volltext

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments von 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 …”
Volltext

Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents von 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 …”
Volltext

Commonly used Algorithms in Data Science Along with Internal Logics and Implementations through R Programming von 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 …”
Volltext

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

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