# [SWI-Prolog, Fatalize](https://codegolf.stackexchange.com/a/54516/7951)

## Description

Replace an `E` for an `F` (or the other way around) and change a single digit in one of the numbers input.

## Code

    assert(d(F,F):-(print(E),print(F))). d(123456,123457).