tree e2497bad05cbcb225c7ed4ab43b7d1f12e67dd83
parent 8e4c17c0d0e5ce11ecba3e2c8d0107f4218a0afa
author Patrick Hiesel <hiesel@google.com> 1505209506 +0200
committer Patrick Hiesel <hiesel@google.com> 1505324388 +0200

Add pure_revert Prolog fact

This commit adds a pure_revert prolog fact, tests and documentation.

Change-Id: I5eaf094ef84e704a9737361c7e72133ca4b3b5af