A Prolog implementation of the declarative typing judgement
from the whiteboard.