Prolog should be an effective tool for the TTA algorithm.

An exploratory approach using Prolog. Message causality not
implemented. Ignorance hampering current implementation.

After this is working, figure out the PAIP prolog in Quicklisp and port
to that.