Algorithm

I am my own grandfather problem

An interesting problem with a bonus predicate calculus challenge

Dining Philosophers Problem