#!/usr/bin/bash
killall -9 swipl