The use of prolog as a protein querying language · Study