123
Voted
INAP
15 years 6 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...
114
Voted
INAP
15 years 6 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 ...
74
Voted
INAP
15 years 6 months ago
2005 Springer 85
Voted
INAP
15 years 6 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 ...
|