giovinazzo-kevin / Ergo

Other
4 stars 0 forks source link

Shell UX Improvements #58

Open giovinazzo-kevin opened 1 year ago

giovinazzo-kevin commented 1 year ago

The shell is not a core component of Ergo by itself, but it's the one a developer would spend the most time on, before interfacing with Ergo directly from C#.

So it needs to be functional and modern. Theming is one concern, another is ease of use.

SWI-Prolog's shell isn't so amazing in that regard. Pasting snippets usually goes very awry, since there's not a dedicated "insert mode" such as Vim's. Asserting predicates is also a pain.

giovinazzo-kevin commented 11 months ago

Ideally Ergo's console should work well in any environment, not just the Windows terminal. This is because the I/O streams can be redirected like I'm doing in my game engine (where the console is rendered by SFML).