corner_stone_case - retrieve the cornerstone case stored in the last RDR
corner_stone_case(-Case)
Case is bound to the case that is associated with the last rule evaluated in an RDR
Go here to see a complete example of contructing a custom RDR maintenance tool in Prolog that invokes corner_stone_case.