Google опубликовал язык логического программирования Logica