it's not that weird, this taken to its logical conclusion is effectively prolog's execution model