Computational Logic Foundations of KGP Agents | Read Paper on Bytez