moved presentation of pkanren to docs