Skip to content

Commit

Permalink
Merge pull request #299 from ichiban/fix-1pl-file-args
Browse files Browse the repository at this point in the history
fix 1pl's file arguments like `$ 1pl foo.pl bar.pl`
  • Loading branch information
ichiban authored Jul 15, 2023
2 parents a78fa20 + 3386eb2 commit b8ca24c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cmd/1pl/main.go
Original file line number Diff line number Diff line change
Expand Up @@ -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)
}

Expand Down

0 comments on commit b8ca24c

Please sign in to comment.