CHR

MaRDI QIDQ32330swMATHFDO

Official website http://www.swi-prolog.org/pldoc/man?section=chrintro

Cited in

(5)

• scientific article; zbMATH DE number 2086600 (Why is no real title available?)
• Runtime addition of integrity constraints in an abductive proof procedure
• ACORDA
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• Logic Programming

This page was built for software: CHR