CHR

swMATH20512MaRDI QIDQ32330FDOQ32330

Author name not available (Why is that?)

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

Cited In (5)

• Runtime addition of integrity constraints in an abductive proof procedure
• ACORDA
• Parallelism, concurrency and distribution in constraint handling rules: a survey
• Logic Programming
• Title not available (Why is that?)

This page was built for software: CHR