Programming finite-domain constraint propagators in Action Rules

DOI10.1017/S1471068405002590zbMath1122.68035OpenAlexW2075185101MaRDI QIDQ5482274

Neng-Fa Zhou

Publication date: 28 August 2006

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068405002590

zbMATH Keywords

constraint propagationconstraint programmingaction rules

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic programming (68N17)

Related Items (3)

The language features and architecture of B-Prolog ⋮ Fifty Years of Prolog and Beyond ⋮ Two WAM Implementations of Action Rules

Uses Software

• Prolog

This page was built for publication: Programming finite-domain constraint propagators in Action Rules