Implementing Constraint Solvers in B-Prolog

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35602-0_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Implementing Finite-Domain Constraint Logic Programming on Top of a PROLOG-system With Delay-Mechanism

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

PROLogic: A FUZZY TEMPORAL CONSTRAINT PROLOG

International Journal of Applied Mathematics
Computational TheoryMathematics
2019English

The Evolution of Dominance Constraint Solvers

2005English

Combining Symbolic Constraint Solvers on Algebraic Domains

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1994English

Robust Benchmark Set Selection for Boolean Constraint Solvers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Implementing Prolog via Microprogramming a General Purpose Host Computer

1987English

Representing and Solving Rule-Based Decision Models With Constraint Solvers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic
Applied MathematicsLogic
2009English

Prolog

Reihe Rechtswissenschaft
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy