From: Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>
To: Nick Dokos <ndokos@gmail.com>
Cc: "Liste-emacs-orgmode@gnu.org" <emacs-orgmode@gnu.org>
Subject: Re: org-mode for swi-prolog and latex export ?
Date: Mon, 21 Jul 2014 12:34:05 +0200 [thread overview]
Message-ID: <CAD-VTcGdeL=9nv0vW-Adw_RmxSouat5KEWLu=4jPb3SzvgRbwA@mail.gmail.com> (raw)
In-Reply-To: <8761ir3tfs.fsf@alphaville.bos.redhat.com>
[-- Attachment #1: Type: text/plain, Size: 1790 bytes --]
Dear Nick,
2014-07-21 12:19 GMT+02:00 Nick Dokos <ndokos@gmail.com>:
> I don't understand: what language are you trying to export to? My take
> was that you export the doc to latex/pdf/html and you tangle the code
> fragments to some arbitrary file (a file that can be fed to a prolog
> interpeter to be executed).
>
You have quite correctly undersood me.
>
> > This is a (lisp)programmers task. The usual proceeding would be to look
> > at the list of extisting ob-<language>.el files and pick a language that
> > is very similar to the new one (in case of prolog maybe a difficult
> > task?). Then try to adapt this file to your new language -> ob-prolog.el.
>
> Assuming that the statement I quoted is true, one should be able to
> export files that contain prolog code fragments:
>
> #+BEGIN_SRC prolog
> foo
> #+END_SRC
>
> One has to do `:exports code' since exporting results would require
> evaluation which *would* require that one write an ob-prolog.el.
>
> Also, one should be able to tangle the prolog code fragment(s) into
> files (no ob-prolog.el needed).
>
It is only because I do not understand how to "tangle the (prolog) code". I
know the export function but I know nothing about tangle. Do not feel
forced to answer. I know that I have to read the documentation first and I
apologize.
> Exporting and tangling are generic services that babel provides even if
> there is no evaluation for that language.
>
> But as I said, I have not tried it: I am only trying to interpret what
> the doc is saying, so when the eating comes, the pudding may be stale.
> If the interpretation is wrong, I would love to be corrected. If the
> interpretation is right, but the exporting/tangling does not work, then
> that would be a babel bug.
>
I do not know.
Best wishes,
Jo.
[-- Attachment #2: Type: text/html, Size: 2912 bytes --]
next prev parent reply other threads:[~2014-07-21 10:34 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-20 7:54 org-mode for swi-prolog and latex export ? Joseph Vidal-Rosset
2014-07-20 8:05 ` Thorsten Jolitz
2014-07-20 20:37 ` Joseph Vidal-Rosset
2014-07-20 21:38 ` Thomas S. Dye
2014-07-21 4:16 ` Nick Dokos
2014-07-21 9:15 ` Joseph Vidal-Rosset
2014-07-21 10:01 ` Thorsten Jolitz
2014-07-21 10:19 ` Nick Dokos
2014-07-21 10:34 ` Joseph Vidal-Rosset [this message]
2014-07-21 13:40 ` Nick Dokos
2014-07-21 17:49 ` Joseph Vidal-Rosset
2014-07-21 18:27 ` Nick Dokos
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAD-VTcGdeL=9nv0vW-Adw_RmxSouat5KEWLu=4jPb3SzvgRbwA@mail.gmail.com' \
--to=joseph.vidal.rosset@gmail.com \
--cc=emacs-orgmode@gnu.org \
--cc=ndokos@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.