[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[elpa] scratch/ediprolog 2b348c3161 15/31: describe screenshot
From: |
Stefan Monnier |
Subject: |
[elpa] scratch/ediprolog 2b348c3161 15/31: describe screenshot |
Date: |
Sun, 2 Oct 2022 17:01:38 -0400 (EDT) |
branch: scratch/ediprolog
commit 2b348c3161e68a09e373a04bc2e34d3efa2b283c
Author: Markus Triska <triska@metalevel.at>
Commit: Markus Triska <triska@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**
-
-![Factorial](factorial.png)
-
# 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:
+
+![Factorial](factorial.png)
# Usage
- [elpa] scratch/ediprolog 70bf2c095a 14/31: mention project page earlier, (continued)
- [elpa] scratch/ediprolog 70bf2c095a 14/31: mention project page earlier, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 7af081ba84 31/31: Merge remote-tracking branch 'upstream/ediprolog/main' into externals/ediprolog, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 49679a0c44 28/31: use library(clpz) and Scryer Prolog interaction in screenshot, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 62ce0025b8 27/31: use compact string notation in sample queries, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 29a8c4a796 03/31: wording for README, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 277d0f9e72 05/31: add screenshot, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog ade75de9ae 07/31: table formatting, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 51a610ebc2 08/31: formatting and layout of Emacs commands, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 1c8b127701 02/31: initial revision, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog f1b2480f46 12/31: preparing version 1.2, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 2b348c3161 15/31: describe screenshot,
Stefan Monnier <=
- [elpa] scratch/ediprolog 9c4c80ad4a 21/31: improve compatibility with older Emacs versions, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog e75c0ddfc4 30/31: Merge Jun 8 2020 commit '751119cfee9' into externals/ediprolog, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 751119cfee 22/31: update Scryer Prolog answer, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 8ba8786386 18/31: clarify installation, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 5fd08fe19a 23/31: improve compatibility with older Emacs versions, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog ebd79c0abd 26/31: enable faithful processing of multiline queries for Scryer Prolog, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 6f94bf2368 19/31: add link to video, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 8b554e63aa 24/31: document Scryer Prolog default setting, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 4b265d2fb5 09/31: add a note distinguishing buffer content and file, Stefan Monnier, 2022/10/02
- [elpa] scratch/ediprolog 3f8ab3eea0 10/31: wording, Stefan Monnier, 2022/10/02