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
