2IPH0 (2018-1) Declarative Programming