WatLog is a toy logic programming language, similar to a small subset of Prolog, but with different syntax and some differences in behavior.