PowerFuL(ID:2399/pow002)

Began: 0

Combines functional and logic programming, using "angelic Powerdomains".

Structures:

Function