Pattern Logic Online