Merge pull request #302 from ichiban/fix-1pl-file-args-empty

fix 1pl's file arguments and allow empty args like `$ 1pl`
ichiban · Jul 22, 2023 · b77736e · b77736e
2 parents b8ca24c + 5970281
commit b77736e
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(`bagof(F, (member(X, ?), atom_chars(F, X)), Fs), consult(Fs).`, flag.Args()).Err(); err != nil {
+	if err := i.QuerySolution(`findall(F, (member(X, ?), atom_chars(F, X)), Fs), consult(Fs).`, flag.Args()).Err(); err != nil {
 		log.Panic(err)
 	}