Watch this (skip to 1:17:28 to see a quick demo, the rest of the video is the explanation):
It’s exploiting logic programming to query for a program that satisfies some condition.
It’s exploiting logic programming to query for a program that satisfies some condition.