Using Prolog to Represent and Reason about Protein Structure. - Christopher J. Rawlings; W. R. Taylor; J. Nyakairu; John Fox 001; Michael J. E. Sternberg (ICLP, 1986)