3546 search results - page 129 / 710 » A Causal Logic of Logic Programming |
162
click to vote
META
1992
15 years 8 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
162
click to vote
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
128
click to vote
ISCA
1999
IEEE
15 years 8 months ago
1999
IEEE
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...
134
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...
129
click to vote
VL
1993
IEEE
15 years 8 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...