Talk:Journal of Logic and Algebraic Programming