#!/bin/bash
# launch prolog with the built library
source buildenv.sh
gdb --args swipl -g "asserta(file_search_path(foreign,'$PWD/$PACKSODIR'))" -g "['./prolog/terminus_store.pl']" -g version $@