Text this: STIN 2023 Logic Programming: Teaching module