Who knows, in any case I'd really really love to see how these Prolog teams operate(d). Really curious how they approach modeling and problem solving.