rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove readline_compat_rs reference from README

Browse Source
This commit is contained in:
Mark Thom
2019-10-02 11:33:28 -06:00
parent 239ffb205b
commit b12ba338df
2 changed files with 6 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
README.md
View File

@@ -101,32 +101,13 @@ $> cargo install scryer-prolog
``` ```
cargo will download and install the libraries Scryer Prolog uses cargo will download and install the libraries Scryer Prolog uses
automatically, save for the C library readline. The automatically. You can find the `scryer-prolog` executable in
`readline_rs_compat` crate on which Scryer depends (and which is built `~/.cargo/bin`.
and maintained by myself) will search the following library paths for
readline:
```
/lib
/usr/lib
/usr/local/lib
/lib/x86_64-linux-gnu
/opt/local/lib
```
If you'd like to disable readline (and the need for linking to it),
install with the line
```
cargo install scryer-prolog --no-default-features
```
You can find the `scryer-prolog` executable in `~/.cargo/bin`.
Note on compatibility: Scryer Prolog should work on Linux, Mac OS X, Note on compatibility: Scryer Prolog should work on Linux, Mac OS X,
and BSD variants on which Rust runs. Windows support hinges on and BSD variants on which Rust runs. Windows support hinges on
readline and Termion being fully functional in that environment, which rustyline and Termion being functional in that environment, which to
to my knowledge is not currently the case. my knowledge is not currently the case.
## Built-in predicates ## Built-in predicates
@@ -316,7 +297,7 @@ To quit scryer-prolog, type
### Dynamic operators ### Dynamic operators
Scryper supports dynamic operators. Using the built-in Scryer supports dynamic operators. Using the built-in
arithmetic operators with the usual precedences, arithmetic operators with the usual precedences,
``` ```

1
src/prolog/toplevel.pl
View File

@@ -79,6 +79,7 @@ user:term_expansion(Term0, (:- initialization(ExpandedGoals))) :-
Term0 = (:- initialization(Goals)), Term0 = (:- initialization(Goals)),
expand_goals(Goals, ExpandedGoals). expand_goals(Goals, ExpandedGoals).
%%TODO: what if Goals expands to.. a list of goals?? We need to handle that.
expand_goals(Goals, ExpandedGoals) :- expand_goals(Goals, ExpandedGoals) :-
nonvar(Goals), nonvar(Goals),
var(ExpandedGoals), var(ExpandedGoals),