Hacker News Reader

aren't predicates in prolog always starting with a lower letter and only variables with a capital letter?

Yes. Also, in the ancestor predicate, the arrow should be in the other direction.

Yeah, we can't distinguish the arguments. Can't have a parent named X, I guess.

You can, you just need to quote it in single quotes: 'X'.