2IPH0 (2019-1) Declarative Programming