"Logical" AI, able of "backwards chaining"