Revert "Merge branch 'master' of https://github.com/2081/4if-prolog"

This reverts commit a64087f9a1d61ea2009ef73d4c87cfa1047143c4, reversing
changes made to 1c7424c6c70bf063831b88c1cf627124bf23b488.