This just looks like it was written by someone who's done some logic programming.