2IPH0 (2017-3) Declarative Programming