(Re)loading files in the REPL

[ocharles]

Hello. Is there a way to load or reload a file from the Scryer REPL? That is, I've ran

$ scryer-prolog ch-schema.prolog 

and have made some changes to ch-schema.prolog and want to reload it. Quitting and restarting is one option, but tedious. Is it possible to do this reload directly from this REPL?

[ocharles]

I just found #2216 and have a feeling this might not currently be possible

[triska]

#2216 is about a single predicate that would automatically load all files that were modified and need reloading. As you state in the other response, you can simply use ?- [File]. to reload File.

[ocharles]

Oh, it looks like I just need to do ['ch-schema.prolog']!

[bakaq]

You can just consult/1 it, or use_module/1:

?- consult(example).
   true.
?- [example].
   % Alternative syntax for consult/1
   true.
?- use_module(example).
   % Works like consult/1 for normal files, but also handles modules.
   true.
?- use_module('example.pl').
   % You can give the full name for every one of those if you like.
   % Scryer Prolog doesn't automatically handle .prolog extension
   % like the .pl extension, so you might need this.
   true.

When I'm testing a module, I usually just prepend use_module(module_name) before all my queries so that I'm always testing the latest version. These don't always work how you would expect them, but it works for most cases.