Non-deterministic Prolog implementation for recreational linguistics