Sockeye TN: Update info about Prolog mapping