Text this: Extensions of logic programming :