Suchergebnisse - "constraint logic programming systems"

CHR++: An efficient CHR system in C++ with don’t know non-determinism von Barichard, Vincent

“… This article introduces CHR++, an implementation of CHR (Constraint Handling Rules) in C++. CHR++ has been designed to be efficient, user-friendly, and to make …”
Volltext

Attributed Variables in XSB von Cui, Baoqiu, Warren, David S.

“… The attributed variable data type plays an important role in many extensions to the basic Logic Programming language. It provides a flexible mechanism to …”
Volltext