Abstract: Constraint logic programming (CLP) is a new class of declarative programming languages whose primitive operations are based on constraints (e.g. constraint solving and constraint entailment) ...
Abstract: This paper proposes an efficient method for evaluating queries over constraint databases. The method is based on a combination of top-down resolution with memoing and closed form bottom-up ...
Certains résultats ont été masqués, car ils peuvent vous être inaccessibles.
Afficher les résultats inaccessibles
Commentaires