Logic programming is a powerful paradigm for programming autonomous agents indynamic domains, as witnessed by languages such as Golog and Flux. In this workwe present ALPprolog, an expressive, yet efficient, logic programming languagefor the online control of agents that have to reason about incompleteinformation and sensing actions.
展开▼