Versions

3 versions

Choose the version you want to view.
Adapted to base version 3.2

Tags

6 tags

Click on a tag to show all related programs.
functional_pattern non-determinism narrowing design_pattern function_inversion many-to-many_relation

Comments

0 comments »

Click on the badge to open the comment window for viewing and writing comments.

No comments yet.

blood

implemented in Curry

Created by antoy on March 16, 2018 (last modified on November 10, 2023)
0 users favorited this

Description: Example of many-to-many pattern. Define the relation 'give blood to' from the type table. Compute 'receive blood from' using the pattern.