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

update version and README

Browse Source
This commit is contained in:
Mark Thom
2019-03-17 18:11:08 -06:00
parent c7ebd59b4a
commit 179bede1db
2 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Cargo.toml
View File

@@ -1,6 +1,6 @@
[package] [package]
name = "scryer-prolog" name = "scryer-prolog"
version = "0.8.8" version = "0.8.9"
authors = ["Mark Thom <markjordanthom@gmail.com>"] authors = ["Mark Thom <markjordanthom@gmail.com>"]
repository = "https://github.com/mthom/scryer-prolog" repository = "https://github.com/mthom/scryer-prolog"
description = "A modern Prolog implementation written mostly in Rust." description = "A modern Prolog implementation written mostly in Rust."

6
README.md
View File

@@ -270,6 +270,11 @@ Note that the values of variables belonging to successful queries are
printed out, on one line each. Uninstantiated variables are denoted by printed out, on one line each. Uninstantiated variables are denoted by
a number preceded by an underscore (`X = _0` in an example above). a number preceded by an underscore (`X = _0` in an example above).
To clear the database, type
```
?- [clear].
```
To quit scryer-prolog, type To quit scryer-prolog, type
``` ```
?- halt. ?- halt.
@@ -320,7 +325,6 @@ been exported to the toplevel. To export them, write
``` ```
?- use_module(library(lists)). ?- use_module(library(lists)).
?- use_module(library(control)).
``` ```
The [user] prompt can also be used to define modules inline at the The [user] prompt can also be used to define modules inline at the