USING PROLOG TO REPRESENT AND REASON ABOUT PROTEIN-STRUCTURE - RAWLINGS, CJ; TAYLOR, WR; NYAKAIRU, J; FOX, J; STERNBERG, MJE (LECTURE NOTES IN COMPUTER SCIENCE, 1986)