Výsledky vyhledávání - "Implementations of Logic Programming"
-
1
Backtracking in independent and-parallel implementations of logic programming languages
ISSN: 1045-9219, 1558-2183Vydáno: New York IEEE 01.11.2001Vydáno v IEEE transactions on parallel and distributed systems (01.11.2001)“…In this paper, we present an implementation model which efficiently supports backtracking in an independent and-parallel nondeterministic system. The problem…”
Získat plný text
Journal Article -
2
High-performance implementations of logic programming systems
ISSN: 0743-1066Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
3
Guest editors' introduction: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: Elsevier Inc 01.10.1996Vydáno v The journal of logic programming (01.10.1996)Získat plný text
Journal Article -
4
Detection and optimization of suspension-free logic programs: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
5
Multilog and data or-parallelism: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
6
Overview of DASWAM : Exploitation of dependent and-parallelism: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
7
Experience with the Super Monaco optimizing compiler: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
8
The Vienna Abstract machine: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
9
Design and analysis of hardware for high-performance Prolog: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
10
The execution algorithm of mercury, an efficient purely declarative logic programming language: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
11
Partial translation : Towards a portable and efficient prolog implementation technology: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
12
Parma-bridging the performance gap between imperative and logic programming: High-performance implementations of logic programming systems
ISSN: 0743-1066, 1873-5789Vydáno: New-York, NY Elsevier 1996Vydáno v The journal of logic programming (1996)Získat plný text
Journal Article -
13
Data structures for order-sensitive predicates in parallel nondeterministic systems
ISSN: 0001-5903Vydáno: Berlin Springer 01.08.2000Vydáno v Acta informatica (01.08.2000)Získat plný text
Journal Article -
14
Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 01.02.2013Vydáno v arXiv.org (01.02.2013)“…). 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ískat plný text
Paper -
15
Logic programming semantics: Techniques and applications
ISBN: 9798207739939Vydáno: ProQuest Dissertations & Theses 01.01.1989“… Moreover, for specific implementations of logic programming, e.g. PROLOG, the notion of deduction strategy is also important…”
Získat plný text
Dissertation
-
16
Some effects of dynamic types on logic program execution
ISBN: 9798206123111Vydáno: ProQuest Dissertations & Theses 01.01.1988“…Most implementations of logic programming languages suffer from inefficiency of program execution…”
Získat plný text
Dissertation -
17
Exploiting Parallelism in Coalgebraic Logic Programming
ISSN: 1571-0661, 1571-0661Vydáno: Elsevier B.V 28.03.2014Vydáno v Electronic notes in theoretical computer science (28.03.2014)“… Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming…”
Získat plný text
Journal Article -
18
Efficient algorithms for the temporal precedence problem
ISSN: 0020-0190, 1872-6119Vydáno: Amsterdam Elsevier B.V 30.10.1998Vydáno v Information processing letters (30.10.1998)“… The Temporal Precedence problem is related to a very concrete problem that arises in parallel implementation of logic programming languages…”
Získat plný text
Journal Article -
19
Exploiting Parallelism in Coalgebraic Logic Programming
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 19.12.2013Vydáno v arXiv.org (19.12.2013)“… Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming…”
Získat plný text
Paper -
20
A Lambda Prolog Based Animation of Twelf Specifications
ISSN: 2331-8422Vydáno: Ithaca Cornell University Library, arXiv.org 06.07.2014Vydáno v arXiv.org (06.07.2014)“… 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ískat plný text
Paper