Výsledky vyhledávání - Implementations of Logic Programming

Backtracking in independent and-parallel implementations of logic programming languages Autor 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…”
Získat plný text

Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language Autor 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…”
Získat plný text

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

Získat plný text

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

Získat plný text

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

Získat plný text

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

Získat plný text

On the implementation of the probabilistic logic programming language ProbLog Autor 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…”
Získat plný text

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

Získat plný text

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

Získat plný text

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

Získat plný text

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

Získat plný text

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

Získat plný text

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

Získat plný text

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

Získat plný text

A driving pulse edge modulation technique and its complex programming logic devices implementation Autor 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…”
Získat plný text

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

Získat plný text

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments Autor 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…”
Získat plný text

Implementation of 3-Valued Paraconsistent Logic Programming Towards Decision Making System of Agents Autor 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…”
Získat plný text

Commonly used Algorithms in Data Science Along with Internal Logics and Implementations through R Programming Autor 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…”
Získat plný text

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

“…The inclusion of universal quantification and a form of implication in goals in logic programming is considered…”
Získat plný text