Zaslat SMS: Algebra of Logic Programming