173
Voted
INAP
15 years 10 months ago
2005 Springer 
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
156
Voted
INAP
15 years 10 months ago
2005 Springer 
We present the Prolog Cafe system that translates Prolog into Java via the WAM. Prolog Cafe provides multi-threaded Prolog engines. A Prolog Cafe thread seem to be conceptually an ...
113
Voted
INAP
15 years 10 months ago
2005 Springer  122
Voted
INAP
15 years 10 months ago
2005 Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
|
Information Technology