swipl: how to reload file

prolog swi-prolog
Rahn picture Rahn · Nov 30, 2016 · Viewed 8.9k times · Source

First I load the file with SWI-Prolog

$ swipl file.pl

then I modify the file and save.

Now how do I reload the file like

?- reload

for this modified file.pl?

Answer

Isabelle Newbie picture Isabelle Newbie · Nov 30, 2016

SWI-Prolog has a predicate make/0 for this purpose:

?- make.

Note that SWI-Prolog has a handy feature for searching the manual for keywords:

?- apropos(reload).

Points you (among other things) to Section 3.3 of the manual: "The test-edit-reload cycle", which mentions this.

Related questions

Prolog Programming in Ubuntu

I have an interest in playing and fuxing with prolog, I have installed the swi-prolog and added the repository, just in case anyone is interested on which one commands I used: % sudo apt-add-repository ppa:swi-prolog/stable % sudo apt-get update % sudo …

Read More
Read a file line by line in Prolog

I'd like to read a plain text file and apply a predicate to each line (the predicates contain write which does the output). How would I do that?

Read More
SWI-Prolog - show long list

I'm using SWI-Prolog and I'm trying to print a list but if the list has more than 9 items - it look like that - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] is there a way to show the whole list?

Read More