Simple prolog implementation made together with Víctor López