#prolog people:

How would you express this problem?

https://www.brainzilla.com/logic/logic-grid/superheroes/

(I want to use this as an example in my programming languages class. We're only spending a few days on Prolog, so please avoid fancy features.)