Where ART and Logic Meet