The language

DYnamics in LOGic is a programming language based on a modal approach for reasoning about action and change in a logic programming setting. It allows to specify primitive actions by means of preconditions and effects, and to define procedures as complex actions. DYnamics in LOGic can be used as an agent programming language, for modelling the behavior of agents acting, interacting and planning in dynamic environments. An implementation of the language has been realized in SICStus Prolog.

We used DYnamics in LOGic for building adaptative applications as software agents, by exploiting planning capabilities in order to obtain a personalized services, guided by the interaction with the user or based on its preferences. This allowed us to exploit DYnamics in LOGic in many application area, like e-learning, course compliance and service oriented selection and composition.