[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/sweeprolog ff13d97396 034/166: DOC: Add CUSTOM_ID properti
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/sweeprolog ff13d97396 034/166: DOC: Add CUSTOM_ID properties to README.org headings where needed |
Date: |
Fri, 30 Sep 2022 04:59:23 -0400 (EDT) |
branch: elpa/sweeprolog
commit ff13d973961d14e1695d06ab3768fda8315ffd06
Author: Eshel Yaron <me@eshelyaron.com>
Commit: Eshel Yaron <me@eshelyaron.com>
DOC: Add CUSTOM_ID properties to README.org headings where needed
---
README.org | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
diff --git a/README.org b/README.org
index e6450c0d8e..c5dfa3f0bb 100644
--- a/README.org
+++ b/README.org
@@ -83,6 +83,9 @@ The different parts of =sweep= are structured as follows:
SWI-Prolog runtime may need to be built as well.
* TODO Prolog initialization and cleanup
+:PROPERTIES:
+:CUSTOM_ID: prolog-init
+:END:
#+VINDEX: sweep-init-on-load
#+VINDEX: sweep-init-args
@@ -138,6 +141,9 @@ close the current query, but =sweep-close-query= also
destroys any
Prolog bindings created by the query.
** Conversion of Elisp objects to Prolog terms
+:PROPERTIES:
+:CUSTOM_ID: elisp-to-prolog
+:END:
=sweep= converts Elisp objects into Prolog terms to allow the Elisp
programmers to specify arguments for Prolog predicates invocations (see
@@ -154,6 +160,9 @@ we convert /trees of strings and numbers/:
are the Prolog representations of the =car= and the =cdr= of the cons.
** Conversion of Prolog terms to Elisp objects
+:PROPERTIES:
+:CUSTOM_ID: prolog-to-elisp
+:END:
=sweep= converts Prolog terms into Elisp object to allow efficient
processing of Prolog query results in Elisp (see =sweep-next-solution=).
@@ -176,6 +185,9 @@ processing of Prolog query results in Elisp (see
=sweep-next-solution=).
+ Prolog dicts are converted to the symbol =dict=.
** Example - counting solutions for a Prolog predicate in Elisp
+:PROPERTIES:
+:CUSTOM_ID: count-permutations
+:END:
As an example of using the =sweep= interface for executing Prolog
queries, we show an invocation of the non-deterministic predicate
@@ -196,6 +208,9 @@ permutations of the list =(1 2 3 4 5)=:
* The Prolog top-level
+:PROPERTIES:
+:CUSTOM_ID: prolog-top-level
+:END:
#+FINDEX: sweep-top-level
=sweep= provides a classic Prolog top-level interface for interacting
@@ -227,6 +242,9 @@ command =M-x sweep-find-predicate= jumping to the
definition a
loaded or auto-loadable Prolog predicate.
* Installing Prolog packages
+:PROPERTIES:
+:CUSTOM_ID: prolog-packages
+:END:
#+FINDEX: sweep-pack-install
The command =M-x sweep-pack-install= can be used to install
- [nongnu] elpa/sweeprolog b92f25f764 030/166: Cleanup sweep.el, (continued)
- [nongnu] elpa/sweeprolog b92f25f764 030/166: Cleanup sweep.el, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 972337d6d0 040/166: FIXED: accidentally left debugging remnants, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 0de5109bf8 064/166: ENHANCED: add completion-at-point in sweep-mode, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 5dfb1366e3 012/166: DOC: fix typo, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog d9546b9414 025/166: ENHANCED: make the prompts used in sweep-find-* customizable, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog e62d23140f 019/166: FIXED: Makefile setting SOEXT to dylib on linux hosts, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 7c15ebc4f1 026/166: ENHANCED: annotate predicates with the summaries from the manual, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 59b9dde951 028/166: DOC: Document sweep-pack-install, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog b67e5b5e3d 029/166: DOC: Expand the manual section about Querying Prolog, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 5455c53eaf 031/166: ENHANCED: Add optional "reverse" argument flag to sweep-open-query, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog ff13d97396 034/166: DOC: Add CUSTOM_ID properties to README.org headings where needed,
ELPA Syncer <=
- [nongnu] elpa/sweeprolog 5fa0e16ee3 037/166: DOC: Document sweep_funcall/2, 3 in the manual, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 66ac977deb 045/166: Make use of the new SWI-Prolog embedded GMP handling..., ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 8f1275f113 044/166: Remove the swipl-devel git submodule, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 5dcdec144d 052/166: PORT: use swipl --dump-runtime-variables to locate SWI-Prolog.h, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog b24f66da61 051/166: Add licensing information, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 43e5cdaf91 054/166: ADDED: global keymap sweep-prefix-map, not bound by default, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 239e205add 059/166: ADDED: sweep-mode, a major mode for editing Prolog code, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog d226bbb70c 063/166: ENHANCED: set per buffer module name in sweep-mode, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog d974b0fe0a 071/166: ADDED: prepare xref backend, ELPA Syncer, 2022/09/30
- [nongnu] elpa/sweeprolog 27c441ab49 068/166: PORT: don't rely on defvar-keymap available only since Emacs 29, ELPA Syncer, 2022/09/30