Text this: Logical foundations of artificial intelligence /