Inductive Logic Programming for simple expressions including strings