Sicstus Prolog: Basic Workflow

Date

I'm taking a course in Prolog; it's mind bending and I love it. But sometimes the developer environment can be a pain. Apparently there exist some nice Emacs integrations, but I needed some way to work with Vim.

  1. Enable line editing in sicstus. Install rlwrap.
sudo brew install rlwrap

or

sudo apt-get intall rlwrap

Now alias sicstus:

echo "alias sicstus=rlwrap sicstus" >> ~/.bash_profile

or 

echo "alias sicstus=rlwrap sicstus" >> ~/.bash_rc

Finally I like to include a predicate, reload:

reload(N):-
  notrace,
  consult(N),
  trace.