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)