An if you liked that, you will probably love this: "Computational Logic: Memories of the Past and Challenges for the Future" (John Alan Robinson) http://www.

An if you liked that, you will probably love this: "Computational Logic: Memories of the Past and Challenges for the Future" (John Alan Robinson) http://www.computational-logic.org/iccl/downloads/Robinson-CL2000.pdf http://www.computational-logic.org/iccl/downloads/Robinson-C...