From 3386eb28a94fbf9e17cb46ecf5e7c0cc287626c2 Mon Sep 17 00:00:00 2001 From: Yutaka Ichibangase Date: Mon, 10 Jul 2023 09:57:44 +0900 Subject: [PATCH] fix 1pl's file arguments like `$ 1pl foo.pl bar.pl` --- cmd/1pl/main.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmd/1pl/main.go b/cmd/1pl/main.go index 1e8dd02..181fae9 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) }