branch: scratch/ediprolog commit 2b348c3161e68a09e373a04bc2e34d3efa2b283c Author: Markus Triska <tri...@metalevel.at> Commit: Markus Triska <tri...@metalevel.at>
describe screenshot --- README.md | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 281eb7f480..588239a6b6 100644 --- a/README.md +++ b/README.md @@ -7,10 +7,6 @@ You can consult Prolog programs and evaluate embedded queries. [**https://www.metalevel.at/ediprolog/**](https://www.metalevel.at/ediprolog/) -**Screenshot** - - - # Installation Copy [ediprolog.el](ediprolog.el) to your `load-path` and add to your `.emacs`: @@ -22,6 +18,13 @@ Restart Emacs and customize ediprolog with M-x customize-group RET ediprolog RET +# Screenshot + +Here is a sample interaction, using +[CLP(FD) constraints](https://www.metalevel.at/prolog/clpfd) to +relate a number to its factorial: + + # Usage