• RoboCup
  • Vacants
  • SitLog
  • Previous Proyects
  • Subscribe to me on YouTube Google+



    SitLog is a declarative situation-oriented logical language for programming situated service robots’ tasks. The formalism is task and domain independent and can be used in a wide variety of settings. SitLog can also be seen as a behavior engineering specification and interpretation formalism to support action selection by autonomous agents during the execution of complex tasks. The language combines the Recursive Transition Network formalism, extended with functions to express dynamic and contextualized task structures, with a functional language to express control and content information. SitLog interpreter is written in Prolog and SitLog’s programs follow closely the Prolog notation, permitting the declarative specification and direct interpretation of complex applications in a modular and compact form.



    License: GPL