Text this: Bialgebraic Semantics for Logic Programming