Very simple implementation of fact bases for Common Lisp