Tekstiviesti: Algebra of Logic Programming