The system is able to align logical sequences. Logical or relational sequences are sequences of logical atoms, instead of simple flat symbols like for common alignment tools used for example in bioinformatics. At the moment, the system is not publically available, but this should change soon. Have a look at the publications. If you are intested to collaborate with us please contact us via email.

A. Karwath and K.Kersting. Relational Sequence Alignements. In: T. Gärtner and G. C. Garriga and T. Meinl (Eds.): Proc. The 4th International Workshop on Mining and Learning with Graphs (MLG '06).September. pp. ??-??. (2006)
K.Kersting and A. Karwath. On Relational Sequences Alignments and Their Information Contents. In: S. Muggleton and R. Otero (Eds.): Short Paper Proc. of the 16th International Conference on Inductive Logic Programming  (ILP 2006).  August. pp. 122-124 (2006)

andreas AT karwath.org :    A. Karwath
kersting AT informatik.uni-freiburg.de :    K. Kersting