Dibatalkan

Rewrite some functions from Python to Prolog. -- 3