Suchergebnisse - (("Implementation of logic Programming") OR ("Implementation of login Programming"))~

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

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

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

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

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

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

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

Volltext

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

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

Efficient algorithms for the temporal precedence problem von 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 …”
Volltext

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

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

A Lambda Prolog Based Animation of Twelf Specifications von 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 …”
Volltext

Implementing logic programming languages by graph rewriting von 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 …”
Volltext

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

“… This report explores several topics concerning the parallel implementation of logic programming …”
Volltext

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

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

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

Volltext