ALPprolog --- A New Logic Programming Method for Dynamic Domains

Conrad Drescher, Michael Thielscher

Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog,…