Talk:Journal of Logic Programming