Building expert systems using logic and meta-level interpretation (Research paper. University of Edinburgh. Department of Artificial Intelligence)