[lispm]

Much of the AI research of the time was financed by the US military - not just for SDI.

For example the DART logistics planning system written in Lisp for the Gulf War was said to have paid back all investments into AI research up to that point.