抄録
We have developed a deductive database system PACADE for analyzing three dimensional and secondary structures of protein. We have shown that users of PACADE can easily write and check biological hypotheses using logical and declarative rules and some iterative structures can be searched by using PACADE. In this paper, we tried to provide users with a function to search the structures similar to a structure in a protein. We describe herein the outline of PACADE system, the outline of the function, and some results of the searches for super-secondary structure by using the function.
