diff --git a/cmd/1pl/main.go b/cmd/1pl/main.go index 1e8dd02b..181fae95 100644 --- a/cmd/1pl/main.go +++ b/cmd/1pl/main.go @@ -78,7 +78,7 @@ Type Ctrl-C or 'halt.' to exit. } // Consult arguments. - if err := i.QuerySolution(`consult(?).`, flag.Args()).Err(); err != nil { + if err := i.QuerySolution(`bagof(F, (member(X, ?), atom_chars(F, X)), Fs), consult(Fs).`, flag.Args()).Err(); err != nil { log.Panic(err) }