language: c before_install: - sudo apt-add-repository ppa:swi-prolog/stable -y - sudo apt-get update -qq - sudo apt-get install -qq swi-prolog - swipl -g check_installation -t halt script: swipl -l prolog/resp.pl -l prolog/resp.plt -g run_tests -t halt