Character-Based Cladistics and Answer Set Programming