Logic programming is strange