Výsledky vyhľadávania - (("Implementations of logic Programming") OR ("Implementations of login Programming"))*

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

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

Získať plný text

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

Získať 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ískať plný text

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

Získať plný text

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

Získať 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ískať plný text

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

Získať 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ískať 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ískať 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ískať plný text

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

Získať plný text

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

Získať plný text

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems Autor 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…”
Získať plný text

Logic programming semantics: Techniques and applications Autor Baudinet, Marianne

“… Moreover, for specific implementations of logic programming, e.g. PROLOG, the notion of deduction strategy is also important…”
Získať plný text

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

“…Most implementations of logic programming languages suffer from inefficiency of program execution…”
Získať plný text

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

“… Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming…”
Získať plný text

Efficient algorithms for the temporal precedence problem Autor 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…”
Získať plný text

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

“… Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming…”
Získať plný text

A Lambda Prolog Based Animation of Twelf Specifications Autor 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…”
Získať plný text