fix 1pl's file arguments like $ 1pl foo.pl bar.pl

ichiban · Jul 10, 2023 · 3386eb2 · 3386eb2
1 parent 5ad402c
commit 3386eb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)
 	}