Search Results - "Constraint Logic Programming Systems"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

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

    ISSN: 0957-4174, 1873-6793
    Published: Elsevier Ltd 15.03.2024
    Published in Expert systems with applications (15.03.2024)
    “…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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 2000
    “…The attributed variable data type plays an important role in many extensions to the basic Logic Programming language. It provides a flexible mechanism to…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: