sudo apt-get install gprolog