Add logic programming aliases.