Constraint logic programming: Difference between revisions

Content deleted Content added
m Labeling: {{sxhl}}
m Added Constraint Handling Rules (CHR), since they certainly provide constraint logic programming when used with SWI-Prolog, for example.
Line 189:
*[[BProlog]]
*[[BNR Prolog]] (aka CLP(BNR))
*[[Constraint Handling Rules]]
*[[Ciao (programming language)|Ciao]]
*[[CLP(R)]]