began an article on declarative programming and its analog in foundations of math