#include "PrologInterface.h"

void PrologLifetime::begin(int argc, char *argv[]) {
  if (!PL_initialise(argc, argv)) {
    PL_halt(EXIT_FAILURE);
  }
}

void PrologLifetime::end() {
  PL_halt(EXIT_SUCCESS);
}


#include "PrologInterface.h"

void PrologLifetime::begin(int argc, char *argv[]) {
  if (!PL_initialise(argc, argv)) {
    PL_halt(EXIT_FAILURE);
  }
}

void PrologLifetime::end() {
  PL_cleanup(EXIT_SUCCESS);
}


Use PL_cleanup instead of PL_halt
Use PL_cleanup instead of PL_halt

PL_halt halts execution (silly me, of course it does). We don't want
that, so we use PL_cleanup instead.
