Command Line Interface

[dcampbell24]

If you add a command line interface to this application, I'll add it to the benchmarks.

(I have git actions setup to take a benchmark every x days (currently a week))

I am currently trying to get this merged in, but haven't yet. I have the graph generator in it's own repository at the moment.

Also, I was planning on using GNU Prolog, because it is available from the Ubuntu repositories. I would rather not have to compile a version of Prolog to use this application, unless it is really speedy, because I would have to do it every time I run a benchmark. Maybe, because I am not running this very often I can make an exception if it is called for.

[aarroyoc]

Hi @dcampbell24 . I'll try to provide a CLI version of Djota. I have some experience doing that, however it usually involves having a wrapper script to set all flags correctly.

However, on the second point, I don't think it runs on GNU Prolog right now. I only tested it with Trealla and Scryer, although I use Scryer almost everytime. GNU Prolog doesn't support modules (the use_module lines at the top of the file) which is a big change and I doubt that they are going to support it soon.

[dcampbell24]

Cool. Okay, I'll use Scryer. The project is now going to live in it's own repository.