A toy prolog interpreter