Suchergebnisse - (("Implementations of logic Programming") OR ("Implementations 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

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

Volltext

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems von Angelopoulos, Nicos, Bagnara, Roberto

“… ). Each programme paper was reviewed by 3 reviewers. CICLOPS'12 continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held in Budapest (1993) and Ithaca (1994 …”
Volltext

Logic programming semantics: Techniques and applications von Baudinet, Marianne

“… Moreover, for specific implementations of logic programming, e.g. PROLOG, the notion of deduction strategy is also important …”
Volltext

Some effects of dynamic types on logic program execution von Wu, Shaun-inn

“… Most implementations of logic programming languages suffer from inefficiency of program execution …”
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