Tag: logic programming

1 events with tag "logic programming"

1991 ID: 4542

CHR (Constraint Handling Rules) - declarative constraint solving through confluent rewrite rules

ID: 4542