Text this: Algebra of Logic Programming