Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

stuck #5

Open
koo5 opened this issue Jan 18, 2021 · 0 comments
Open

stuck #5

koo5 opened this issue Jan 18, 2021 · 0 comments

Comments

@koo5
Copy link
Contributor

koo5 commented Jan 18, 2021

hi, it was:

    prolog_ast(
        file(
            'cli.pl'
        ),
        PT
    ),

I just checked again, it's stuck, probably forever.
also, how do i use the cli?

koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- --help
USAGE: plammar [options] [<file>]

Parse an input as Prolog source code
If no input was given it reads from stdin.

Options:
--help     -h     boolean=false  display this help
--version  -v,-V  boolean=false  display version
--dcg      -d     atom=_         start from this DCG body
--pretty   -p     boolean=false  pretty output
--ops             term=[]        pre-defined operators
--not-ops         term=_         disallow operators

koom@dev ~/plammar (dev7)> swipl -g main cli.pl -- -p cli.pl
ERROR: -g main: process/2: Unknown procedure: ast:prolog/3
ERROR:   However, there are definitions for:
ERROR:         ast:prolog/0
koom@dev ~/plammar (dev7) [2]> kw cli.pl&
koom@dev ~/plammar (dev7) [2]> 
(kw:29064): Gtk-WARNING **: 12:14:30.452: Theme parsing error: gtk-widgets.css:1214:18: Not using units is deprecated. Assuming 'px'.

koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- -p=true cli.pl
ERROR: -g main: Syntax error: disallowed: <shortflag>=<value>
koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl --  cli.pl
ERROR: -g main: process/2: Unknown procedure: ast:prolog/3
ERROR:   However, there are definitions for:
ERROR:         ast:prolog/0
koom@dev ~/plammar (dev7) [2]> git status
On branch dev7
Changes not staged for commit:
  (use "git add <file>..." to update what will be committed)
  (use "git restore <file>..." to discard changes in working directory)
	modified:   README.md

Untracked files:
  (use "git add <file>..." to include in what will be committed)
	mytest.pl
	x

no changes added to commit (use "git add" and/or "git commit -a")
koom@dev ~/plammar (dev7)> swipl -g main cli.pl -- cli.pl
ERROR: -g main: process/2: Unknown procedure: ast:prolog/3
ERROR:   However, there are definitions for:
ERROR:         ast:prolog/0
koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- --help
USAGE: plammar [options] [<file>]

Parse an input as Prolog source code
If no input was given it reads from stdin.

Options:
--help     -h     boolean=false  display this help
--version  -v,-V  boolean=false  display version
--dcg      -d     atom=_         start from this DCG body
--pretty   -p     boolean=false  pretty output
--ops             term=[]        pre-defined operators
--not-ops         term=_         disallow operators

koom@dev ~/plammar (dev7)> swipl -g main cli.pl -- -p=true -d prolog cli.pl
ERROR: -g main: Syntax error: disallowed: <shortflag>=<value>
koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- -p=true -d=prolog cli.pl
ERROR: -g main: Syntax error: disallowed: <shortflag>=<value>
koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- -p=true -d cli.pl
ERROR: -g main: Syntax error: disallowed: <shortflag>=<value>
koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- -p=true --dcg prolog cli.pl
ERROR: -g main: Syntax error: disallowed: <shortflag>=<value>
koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- -p=true --dcg=prolog cli.pl
ERROR: -g main: Syntax error: disallowed: <shortflag>=<value>
koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- -p --dcg=prolog cli.pl
ERROR: -g main: call_dcg/3: Unknown procedure: plammar:prolog/4
ERROR:   However, there are definitions for:
ERROR:         plammar:prolog/0
koom@dev ~/plammar (dev7) [2]> swipl -g main cli.pl -- -p --dcg cli.pl
|: ^C⏎                                                                                         koom@dev ~/plammar (dev7) [SIGINT]> swipl -g main cli.pl -- -p -d cli.pl
|: ^\fish: Job 2, “swipl -g main cli.pl -- -p -d c…” terminated by signal SIGQUIT (Quit request from job control with core dump (^\))
koom@dev ~/plammar (dev7) [SIGQUIT]> swipl -g main cli.pl -- -p -d -- cli.pl
ERROR: -g main: call_dcg/3: Unknown procedure: plammar: -- / 4
koom@dev ~/plammar (dev7) [2]> 
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant