Display program code

db_family.pl : Family relations (deductive database)
This is an example how CHR could be used as a deductive database, i.e., the information is deduced from facts and rules.

How to use:
The facts are explicitly created by the facts constraint.
The database rules are formulated as CHR rules. This leads to the deduction of additional data constraints.

Program: Change the code, then submit!

Console: Enter query or select example from below, then submit and wait for answer!

Select example query: 

WebCHR help - CHR Website - (c) Copyrights Martin Kaeser Uni Ulm 2007