Category talk:Logic programming researchers