Sciweavers

2236 search results - page 24 / 448
» Language Independence and Language Tolerance in Logic Progra...
Sort
View
JUCS
2006
175views more  JUCS 2006»
15 years 5 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...
127
Voted
IFIP
1994
Springer
15 years 9 months ago
Logic Programming: The Evolving Algebra Approach
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
Egon Börger
116
Voted
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
15 years 10 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
104
Voted
JELIA
2004
Springer
15 years 10 months ago
The DALI Logic Programming Agent-Oriented Language
Stefania Costantini, Arianna Tocchio