updated README to include Nada's core.logic implementation