Technical Report TR-SRS-4-95

Automated Reasoning Project
Research School of Information Sciences and Engineering and Centre for Information Science Research
Australian National University

September 20, 1995

SYMBOLIC ECOLOGY 1

Chris Mortensen
Department of Philosophy
The University of Adelaide
North Tce. Adelaide, SA.
Australia 5005

Abstract Following the approach of Niven who represents basic ecological concepts and ecosystems in terms of a basic set of ecological concepts using first order logic, a basic ecosystem for the oak Quercus robur is implemented using PROLOG, in which the existence of these ecological concepts is demonstrated.