Scryer-prolog: Ctrl-D during [user] doesn't work

[jburse]

Hi,

I tried Ctrl-D during [user], but it didn't work. I get this here:

I pressed enter after "foo.", and then I pressed Ctrl-D.

[jburse]

Can I specify the file name of a Prolog text on the command line, while starting scryer Prolog? The readme.MD doesn't show such an example. Is this possible with scryer Prolog as a workaround?

[triska]

Related: #150.

[jburse]

A simple work around would be if the Prolog system could recognize end_of_file atom. But this aint also not working in Scryer-Prolog. On the other hand many other Prolog systems support it.

The end_of_file atom has the advantage, that it is not dependent on some platform/terminal specific controls. Also note its just a normal Prolog text line, that also needs a terminating period.

SWI-Prolog supports end_of_file atom during user consult:

YAP Prolog supports end_of_file atom during user consult:

[mthom]

Can I specify the file name of a Prolog text on the command line, while starting scryer Prolog? The readme.MD doesn't show such an example. Is this possible with scryer Prolog as a workaround?

Not yet, no.

[XVilka]

Can be closed, because now it works.