activity
20042017
most citedThe Munich Rent Advisor: A Success for Logic Programming on the Internet

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.DC2017

Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey

Thom Fruehwirth

Constraint Handling Rules is an effective concurrent declarative programming language and a versatile computational logic formalism. CHR programs consist of guarded reactive rules…