Eco-logic logic-based approaches to ecological modelling (MIT Press, 1991)