Search Results - (("implementation of logic programming") OR ("implementation of login programming"))~

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

“…In this paper, we present an implementation model which efficiently supports backtracking in an independent and-parallel nondeterministic system. The problem…”
Get full text

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

Get full text

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

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

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

Get full text

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

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

The Vienna Abstract machine: High-performance implementations of logic programming systems by KRALL, 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

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

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

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

Get full text

Exploiting Parallelism in Coalgebraic Logic Programming by Komendantskaya, Ekaterina, Schmidt, Martin, Heras, Jónathan

“… Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming…”
Get full text

Efficient algorithms for the temporal precedence problem by Ranjan, D., Pontelli, E., Gupta, G.

“… The Temporal Precedence problem is related to a very concrete problem that arises in parallel implementation of logic programming languages…”
Get full text

Exploiting Parallelism in Coalgebraic Logic Programming by Komendantskaya, Ekaterina, Schmidt, Martin, Heras, Jónathan

“… Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming…”
Get full text

A Lambda Prolog Based Animation of Twelf Specifications by Southern, Mary, Nadathur, Gopalan

“… To use this idea in an implementation of logic programming a la Twelf, it is also necessary to translate the results found for Lambda Prolog queries back into LF expressions…”
Get full text

Implementing logic programming languages by graph rewriting by McBrien, P.J

“… Whilst the implementation of functional programming languages by graph rewriting is simple and intuitive, the implementation of logic programming languages is less direct and consequently…”
Get full text

LOGIC PROGRAMMING FOR PARALLEL IMPLEMENTATION (GRAPH EMBEDDING) by VAN GELDER, ALLEN

“…This report explores several topics concerning the parallel implementation of logic programming…”
Get full text

15 Of The Best Books About Artificial Intelligence by Singh, Saurabh

“…; and the efficient implementation of logic programming on computers. 8.Essentials of Metaheuristics (http://www.sau.ac.in…”
Get full text

Data structures for order-sensitive predicates in parallel nondeterministic systems by Ranjan, Desh, Pontelli, Enrico, Gupta, Gopal

Get full text