It will still be logic, but no more need to learn intermediate languages to define rules for systems.