Talk:The Journal of Logic and Algebraic Programming