Logic Programming and Genetic Sequence Analysis: a Tutorial