ADDED: Use DCGs for quoting.