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)]]
|