Výsledky vyhledávání - (("implementation of logic programming") OR ("implementation of login 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
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 -
14
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 -
15
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 -
16
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 -
17
Implementing logic programming languages by graph rewriting
Vydáno: ProQuest Dissertations & Theses 01.01.1992“… 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…”
Získat plný text
Dissertation -
18
LOGIC PROGRAMMING FOR PARALLEL IMPLEMENTATION (GRAPH EMBEDDING)
ISBN: 9798206233568Vydáno: ProQuest Dissertations & Theses 01.01.1987“…This report explores several topics concerning the parallel implementation of logic programming…”
Získat plný text
Dissertation
-
19
15 Of The Best Books About Artificial Intelligence
Vydáno: New Delhi Athena Information Solutions Pvt. Ltd 05.04.2014Vydáno v EFYTimes.com (05.04.2014)“…; and the efficient implementation of logic programming on computers. 8.Essentials of Metaheuristics (http://www.sau.ac.in…”
Získat plný text
Magazine Article -
20
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