From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joseph Vidal-Rosset Subject: org-mode for swi-prolog and latex export ? Date: Sun, 20 Jul 2014 09:54:58 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a11c1be70be357204fe9b4f79 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:34081) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8lxp-0008Ut-43 for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 03:55:22 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X8lxn-0003F1-39 for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 03:55:21 -0400 Received: from mail-vc0-x235.google.com ([2607:f8b0:400c:c03::235]:35152) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8lxm-0003Ev-V1 for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 03:55:19 -0400 Received: by mail-vc0-f181.google.com with SMTP id lf12so10115732vcb.12 for ; Sun, 20 Jul 2014 00:55:18 -0700 (PDT) List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: "Liste-emacs-orgmode@gnu.org" --001a11c1be70be357204fe9b4f79 Content-Type: text/plain; charset=UTF-8 Hello the list, Here is my question : is there a mean to use org-mode to export both the prolog file (for example my-program.pl) and the documentation in .tex (my-program.tex) ? I see that there are solutions in swi-prolog but I have difficulties to understand the documentation, and therefore I wonder if there is an org-mode route. I hope so. In advance, many thanks Jo. --001a11c1be70be357204fe9b4f79 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hello the list,

Here is = my question : is there a mean to use org-mode to export both the prolog fil= e (for example my-program.pl) and the = documentation in .tex (my-program.tex) ?

I see that there are solutions in swi-prolog but I have difficult= ies to understand the documentation, and therefore I wonder if there is an = org-mode route.

I hope so.

In advance, many tha= nks

Jo.
--001a11c1be70be357204fe9b4f79-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thorsten Jolitz Subject: Re: org-mode for swi-prolog and latex export ? Date: Sun, 20 Jul 2014 10:05:24 +0200 Message-ID: <87lhrolakb.fsf@gmail.com> References: Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:35339) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8m7s-00026X-L9 for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 04:05:52 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X8m7l-0005tx-2u for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 04:05:44 -0400 Received: from plane.gmane.org ([80.91.229.3]:42819) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8m7k-0005tr-SC for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 04:05:36 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1X8m7j-0001k3-Mm for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 10:05:35 +0200 Received: from e178190183.adsl.alicedsl.de ([85.178.190.183]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 20 Jul 2014 10:05:35 +0200 Received: from tjolitz by e178190183.adsl.alicedsl.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 20 Jul 2014 10:05:35 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode@gnu.org Joseph Vidal-Rosset writes: > Hello the list, > > Here is my question : is there a mean to use org-mode to export both > the prolog file (for example my-program.pl) and the documentation in . > tex (my-program.tex) ? > > I see that there are solutions in swi-prolog but I have difficulties > to understand the documentation, and therefore I wonder if there is an > org-mode route. I have not seen an ob-prolog.el yet, but maybe it does exist? If so, exporting both code and result of its execution would be: ,---- | * My documentation | | Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Donec | hendrerit tempor tellus. Donec pretium posuere tellus. Proin quam | nisl, tincidunt et, mattis eget, convallis nec, purus. Cum sociis | natoque penatibus et magnis dis parturient montes, nascetur ridiculus | mus. Nulla posuere. Donec vitae dolor. Nullam tristique diam non | turpis. Cras placerat accumsan nulla. Nullam rutrum. Nam vestibulum | accumsan nisl. | | #+header: :exports both | #+begin_src prolog | ( ... my-program ...) | #+end_src `---- PS Code and documentation text is always exported together, thats what Org Babel is for, as long as you don't specify :exports none or so. -- cheers, Thorsten From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joseph Vidal-Rosset Subject: Re: org-mode for swi-prolog and latex export ? Date: Sun, 20 Jul 2014 22:37:22 +0200 Message-ID: References: <87lhrolakb.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a11c3c10a5b912d04fea5f68e Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52794) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8xrc-0008Bu-Qo for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 16:37:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X8xrb-0007H6-Qd for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 16:37:44 -0400 Received: from mail-vc0-x22a.google.com ([2607:f8b0:400c:c03::22a]:40776) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8xrb-0007H1-LJ for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 16:37:43 -0400 Received: by mail-vc0-f170.google.com with SMTP id lf12so10684104vcb.29 for ; Sun, 20 Jul 2014 13:37:43 -0700 (PDT) In-Reply-To: <87lhrolakb.fsf@gmail.com> List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Thorsten Jolitz Cc: "Liste-emacs-orgmode@gnu.org" --001a11c3c10a5b912d04fea5f68e Content-Type: text/plain; charset=UTF-8 2014-07-20 10:05 GMT+02:00 Thorsten Jolitz : > I have not seen an ob-prolog.el yet, but maybe it does exist? If so, > exporting both code and result of its execution would be: > > ,---- > | * My documentation > | > | Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Donec > | hendrerit tempor tellus. Donec pretium posuere tellus. Proin quam > | nisl, tincidunt et, mattis eget, convallis nec, purus. Cum sociis > | natoque penatibus et magnis dis parturient montes, nascetur ridiculus > | mus. Nulla posuere. Donec vitae dolor. Nullam tristique diam non > | turpis. Cras placerat accumsan nulla. Nullam rutrum. Nam vestibulum > | accumsan nisl. > | > | #+header: :exports both > | #+begin_src prolog > | ( ... my-program ...) > | #+end_src > `---- > > PS > Code and documentation text is always exported together, thats what > Org Babel is for, as long as you don't specify :exports none or so. > Thanks for this reply. Unfortunately, I don't see option to export into the prolog .pl format. If someone can explain to me how export any code (python , prolog, ocaml, etc.) if it is possible with org-mode, I will be thankfull. Best regards, Jo. --001a11c3c10a5b912d04fea5f68e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= 2014-07-20 10:05 GMT+02:00 Thorsten Jolitz <tjolitz@gmail.com>:
I have not seen an= ob-prolog.el yet, but maybe it does exist? =C2=A0If so,
exporting both code and result of its execution would be:

,----
| * My documentation
|
| Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Donec
| hendrerit tempor tellus. Donec pretium posuere tellus. Proin quam
| nisl, tincidunt et, mattis eget, convallis nec, purus. Cum sociis
| natoque penatibus et magnis dis parturient montes, nascetur ridiculus
| mus. Nulla posuere. Donec vitae dolor. Nullam tristique diam non
| turpis. Cras placerat accumsan nulla. Nullam rutrum. Nam vestibulum
| accumsan nisl.
|
| #+header: :exports both
| #+begin_src prolog
| =C2=A0( ... my-program ...)
| #+end_src
`----

PS
Code and documentation text is always exported together, thats what
Org Babel is for, as long as you don't specify :exports none or so.

Thanks for this r= eply. Unfortunately, I don't see option to export into=C2=A0 the prolog= .pl format. If someone can explain to me how export any code=C2=A0 (python= , prolog, ocaml, etc.)=C2=A0 if it is possible with org-mode, I will be th= ankfull.

Best regards,

Jo.

--001a11c3c10a5b912d04fea5f68e-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: tsd@tsdye.com (Thomas S. Dye) Subject: Re: org-mode for swi-prolog and latex export ? Date: Sun, 20 Jul 2014 11:38:24 -1000 Message-ID: References: <87lhrolakb.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59957) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X8yok-000826-15 for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 17:38:56 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X8yod-0008Bt-OC for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 17:38:49 -0400 Received: from gproxy3-pub.mail.unifiedlayer.com ([69.89.30.42]:56094) by eggs.gnu.org with smtp (Exim 4.71) (envelope-from ) id 1X8yod-0008Al-GI for emacs-orgmode@gnu.org; Sun, 20 Jul 2014 17:38:43 -0400 In-Reply-To: (Joseph Vidal-Rosset's message of "Sun, 20 Jul 2014 22:37:22 +0200") List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Joseph Vidal-Rosset Cc: "Liste-emacs-orgmode@gnu.org" , Thorsten Jolitz Aloha Jo, Joseph Vidal-Rosset writes: > 2014-07-20 10:05 GMT+02:00 Thorsten Jolitz : > >> I have not seen an ob-prolog.el yet, but maybe it does exist? If so, >> exporting both code and result of its execution would be: > > Thanks for this reply. Unfortunately, I don't see option to export into > the prolog .pl format. If someone can explain to me how export any code > (python , prolog, ocaml, etc.) if it is possible with org-mode, I will be > thankfull. I don't see Prolog on the list of supported languages: http://orgmode.org/worg/org-contrib/babel/languages.html There are instructions for developing support for other languages: http://orgmode.org/worg/org-contrib/babel/languages.html#develop You'll want to "tangle" the .pl source code file and "export" the documentation. hth, Tom -- Thomas S. Dye http://www.tsdye.com From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nick Dokos Subject: Re: org-mode for swi-prolog and latex export ? Date: Mon, 21 Jul 2014 00:16:49 -0400 Message-ID: <87d2czbb2m.fsf@gmail.com> References: <87lhrolakb.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52067) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X952D-0006Bo-Gv for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 00:17:15 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9528-0003DJ-1U for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 00:17:09 -0400 Received: from plane.gmane.org ([80.91.229.3]:48229) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9527-0003Ac-Qo for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 00:17:03 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1X9526-0001vN-0W for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:17:02 +0200 Received: from pool-98-110-160-12.bstnma.fios.verizon.net ([98.110.160.12]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 06:17:02 +0200 Received: from ndokos by pool-98-110-160-12.bstnma.fios.verizon.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 06:17:02 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode@gnu.org tsd@tsdye.com (Thomas S. Dye) writes: > Aloha Jo, > > Joseph Vidal-Rosset writes: > >> 2014-07-20 10:05 GMT+02:00 Thorsten Jolitz : >> >>> I have not seen an ob-prolog.el yet, but maybe it does exist? If so, >>> exporting both code and result of its execution would be: >> >> Thanks for this reply. Unfortunately, I don't see option to export into >> the prolog .pl format. If someone can explain to me how export any code >> (python , prolog, ocaml, etc.) if it is possible with org-mode, I will be >> thankfull. > > I don't see Prolog on the list of supported languages: > > http://orgmode.org/worg/org-contrib/babel/languages.html > > There are instructions for developing support for other languages: > > http://orgmode.org/worg/org-contrib/babel/languages.html#develop > > You'll want to "tangle" the .pl source code file and "export" the > documentation. > The first sentence of the doc that Tom pointed to is: ,---- | The core Babel functions (viewing, export, tangling, etc…) are language | agnostic and will work even for languages that are not explicitly | supported. Explicit language-specific support is required only for | evaluation of code blocks in a language. `---- So maybe nothing more is needed for just exporting and tangling (completely untested). -- Nick From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joseph Vidal-Rosset Subject: Re: org-mode for swi-prolog and latex export ? Date: Mon, 21 Jul 2014 11:15:39 +0200 Message-ID: References: <87lhrolakb.fsf@gmail.com> <87d2czbb2m.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=089e0160cc322802b604feb08e22 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:44951) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X99hR-0001i3-CR for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 05:16:02 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X99hQ-0006N2-EO for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 05:16:01 -0400 Received: from mail-vc0-x22b.google.com ([2607:f8b0:400c:c03::22b]:39143) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X99hQ-0006Mw-9Q for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 05:16:00 -0400 Received: by mail-vc0-f171.google.com with SMTP id hq11so10094531vcb.30 for ; Mon, 21 Jul 2014 02:15:59 -0700 (PDT) In-Reply-To: <87d2czbb2m.fsf@gmail.com> List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Nick Dokos Cc: "Liste-emacs-orgmode@gnu.org" --089e0160cc322802b604feb08e22 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2014-07-21 6:16 GMT+02:00 Nick Dokos : > The first sentence of the doc that Tom pointed to is: > > ,---- > | The core Babel functions (viewing, export, tangling, etc=E2=80=A6) are = language > | agnostic and will work even for languages that are not explicitly > | supported. Explicit language-specific support is required only for > | evaluation of code blocks in a language. > `---- > > So maybe nothing more is needed for just exporting and tangling > (completely untested). > Yes, but I do not know how to define such and such language to export. When I Cc -Ce I can export to latex and html for example , but I do not know how to extend this list. Best Jo. --089e0160cc322802b604feb08e22 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= 2014-07-21 6:16 GMT+02:00 Nick Dokos <ndokos@gmail.com>:
<= blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px= #ccc solid;padding-left:1ex">
The first sentence = of the doc that Tom pointed to is:

,----
| The core Babel functions (viewing, export, tangling, etc=E2=80=A6) are la= nguage
| agnostic and will work even for languages that are not explicitly
| supported. Explicit language-specific support is required only for
| evaluation of code blocks in a language.
`----

So maybe nothing more is needed for just exporting and tangling
(completely untested).


Yes, but I do not know how to define such and such language to= export. When I Cc -Ce=C2=A0 I can export to latex and html for example , b= ut I do not know how to extend this list.

Best

Jo.
--089e0160cc322802b604feb08e22-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thorsten Jolitz Subject: Re: org-mode for swi-prolog and latex export ? Date: Mon, 21 Jul 2014 12:01:23 +0200 Message-ID: <87fvhvni8c.fsf@gmail.com> References: <87lhrolakb.fsf@gmail.com> <87d2czbb2m.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52700) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9APu-0005wJ-UF for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:02:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9APn-0005T5-EQ for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:01:58 -0400 Received: from plane.gmane.org ([80.91.229.3]:50117) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9APn-0005T1-7v for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:01:51 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1X9APh-0005bN-CB for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 12:01:45 +0200 Received: from g231109248.adsl.alicedsl.de ([92.231.109.248]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 12:01:45 +0200 Received: from tjolitz by g231109248.adsl.alicedsl.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 12:01:45 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode@gnu.org Joseph Vidal-Rosset writes: > 2014-07-21 6:16 GMT+02:00 Nick Dokos : > > The first sentence of the doc that Tom pointed to is: > > ,---- > | The core Babel functions (viewing, export, tangling, etc…) are > language > | agnostic and will work even for languages that are not > explicitly > | supported. Explicit language-specific support is required only > for > | evaluation of code blocks in a language. > `---- > > So maybe nothing more is needed for just exporting and tangling > (completely untested). > > Yes, but I do not know how to define such and such language to export. > When I Cc -Ce I can export to latex and html for example , but I do > not know how to extend this list. This is a (lisp)programmers task. The usual proceeding would be to look at the list of extisting ob-.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. -- cheers, Thorsten From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nick Dokos Subject: Re: org-mode for swi-prolog and latex export ? Date: Mon, 21 Jul 2014 06:19:35 -0400 Message-ID: <8761ir3tfs.fsf@alphaville.bos.redhat.com> References: <87lhrolakb.fsf@gmail.com> <87d2czbb2m.fsf@gmail.com> <87fvhvni8c.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56959) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9AhO-0003y6-TP for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:20:10 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9AhH-0003b2-8B for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:20:02 -0400 Received: from plane.gmane.org ([80.91.229.3]:34686) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9AhG-0003ar-RJ for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:19:54 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1X9AhB-0002Az-MW for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 12:19:49 +0200 Received: from pool-98-110-160-12.bstnma.fios.verizon.net ([98.110.160.12]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 12:19:49 +0200 Received: from ndokos by pool-98-110-160-12.bstnma.fios.verizon.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 12:19:49 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode@gnu.org Thorsten Jolitz writes: > Joseph Vidal-Rosset writes: > >> 2014-07-21 6:16 GMT+02:00 Nick Dokos : >> >> The first sentence of the doc that Tom pointed to is: >> >> ,---- >> | The core Babel functions (viewing, export, tangling, etc…) are >> language >> | agnostic and will work even for languages that are not >> explicitly >> | supported. Explicit language-specific support is required only >> for >> | evaluation of code blocks in a language. >> `---- >> >> So maybe nothing more is needed for just exporting and tangling >> (completely untested). >> >> Yes, but I do not know how to define such and such language to export. >> When I Cc -Ce I can export to latex and html for example , but I do >> not know how to extend this list. > 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). > This is a (lisp)programmers task. The usual proceeding would be to look > at the list of extisting ob-.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). 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. Nick From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joseph Vidal-Rosset Subject: Re: org-mode for swi-prolog and latex export ? Date: Mon, 21 Jul 2014 12:34:05 +0200 Message-ID: References: <87lhrolakb.fsf@gmail.com> <87d2czbb2m.fsf@gmail.com> <87fvhvni8c.fsf@gmail.com> <8761ir3tfs.fsf@alphaville.bos.redhat.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a1132e8a4b05bef04feb1a63a Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60403) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9AvL-00038R-No for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:34:28 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9AvK-0008Lz-Ma for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:34:27 -0400 Received: from mail-vc0-x235.google.com ([2607:f8b0:400c:c03::235]:54619) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9AvK-0008LO-GB for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 06:34:26 -0400 Received: by mail-vc0-f181.google.com with SMTP id lf12so11663654vcb.40 for ; Mon, 21 Jul 2014 03:34:26 -0700 (PDT) In-Reply-To: <8761ir3tfs.fsf@alphaville.bos.redhat.com> List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Nick Dokos Cc: "Liste-emacs-orgmode@gnu.org" --001a1132e8a4b05bef04feb1a63a Content-Type: text/plain; charset=UTF-8 Dear Nick, 2014-07-21 12:19 GMT+02:00 Nick Dokos : > 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-.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. --001a1132e8a4b05bef04feb1a63a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
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 h= ave quite correctly undersood me.
=C2=A0

> This is a (lisp)programmers task. The usual proceeding would be to loo= k
> at the list of extisting ob-<language>.el files and pick a langu= age 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-prol= og.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).

I= t 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 a= nd I apologize.


Exporting and tangling =C2=A0are 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 w= ishes,

Jo.

--001a1132e8a4b05bef04feb1a63a-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nick Dokos Subject: Re: org-mode for swi-prolog and latex export ? Date: Mon, 21 Jul 2014 09:40:25 -0400 Message-ID: <8761iqbzjq.fsf@gmail.com> References: <87lhrolakb.fsf@gmail.com> <87d2czbb2m.fsf@gmail.com> <87fvhvni8c.fsf@gmail.com> <8761ir3tfs.fsf@alphaville.bos.redhat.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:40689) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9Dtx-0006ZX-EA for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 09:45:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9Dtp-0006nP-VF for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 09:45:13 -0400 Received: from plane.gmane.org ([80.91.229.3]:48483) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9Dtp-0006lK-Pf for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 09:45:05 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1X9DpV-0008Sw-4H for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 15:40:37 +0200 Received: from pool-98-110-160-12.bstnma.fios.verizon.net ([98.110.160.12]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 15:40:37 +0200 Received: from ndokos by pool-98-110-160-12.bstnma.fios.verizon.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 15:40:37 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode@gnu.org Joseph Vidal-Rosset writes: > 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. > C-c C-v C-t or M-x org-babel-tangle -- Nick From mboxrd@z Thu Jan 1 00:00:00 1970 From: Joseph Vidal-Rosset Subject: Re: org-mode for swi-prolog and latex export ? Date: Mon, 21 Jul 2014 19:49:32 +0200 Message-ID: References: <87lhrolakb.fsf@gmail.com> <87d2czbb2m.fsf@gmail.com> <87fvhvni8c.fsf@gmail.com> <8761ir3tfs.fsf@alphaville.bos.redhat.com> <8761iqbzjq.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=089e013a044aec2b4704feb7bb6f Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43669) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9Hik-0007iZ-2K for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 13:49:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9Hii-0000Xi-Tu for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 13:49:54 -0400 Received: from mail-vc0-x22f.google.com ([2607:f8b0:400c:c03::22f]:64541) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9Hii-0000Xb-Ox for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 13:49:52 -0400 Received: by mail-vc0-f175.google.com with SMTP id hu12so12639551vcb.20 for ; Mon, 21 Jul 2014 10:49:52 -0700 (PDT) In-Reply-To: <8761iqbzjq.fsf@gmail.com> List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Nick Dokos Cc: "Liste-emacs-orgmode@gnu.org" --089e013a044aec2b4704feb7bb6f Content-Type: text/plain; charset=UTF-8 2014-07-21 15:40 GMT+02:00 Nick Dokos : > > > 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. > > > > C-c C-v C-t > > or > > M-x org-babel-tangle Dear Nick, Many thanks for your impressive patience with newbies like me. Best wishes Jo. --089e013a044aec2b4704feb7bb6f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= 2014-07-21 15:40 GMT+02:00 Nick Dokos <ndokos@gmail.com>:
=

> 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.
>

C-c C-v C-t

or

M-x org-babel-tangle

Dear Nick,

Many thanks for your impressive patience with newbies like me.
Best wishes

Jo.
--089e013a044aec2b4704feb7bb6f-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nick Dokos Subject: Re: org-mode for swi-prolog and latex export ? Date: Mon, 21 Jul 2014 14:27:30 -0400 Message-ID: <874mya7ejx.fsf@alphaville.bos.redhat.com> References: <87lhrolakb.fsf@gmail.com> <87d2czbb2m.fsf@gmail.com> <87fvhvni8c.fsf@gmail.com> <8761ir3tfs.fsf@alphaville.bos.redhat.com> <8761iqbzjq.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52561) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9ILp-0007Nq-8S for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 14:30:25 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9ILf-00054k-1s for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 14:30:17 -0400 Received: from plane.gmane.org ([80.91.229.3]:45072) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9ILe-00053v-Sa for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 14:30:07 -0400 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1X9ILb-0006FH-NE for emacs-orgmode@gnu.org; Mon, 21 Jul 2014 20:30:03 +0200 Received: from pool-98-110-160-12.bstnma.fios.verizon.net ([98.110.160.12]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 20:30:03 +0200 Received: from ndokos by pool-98-110-160-12.bstnma.fios.verizon.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Jul 2014 20:30:03 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: emacs-orgmode@gnu.org Joseph Vidal-Rosset writes: > 2014-07-21 15:40 GMT+02:00 Nick Dokos : > > > 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. > > > > C-c C-v C-t > > or > > M-x org-babel-tangle > > Dear Nick, > > Many thanks for your impressive patience with newbies like me. > No problem - btw, I tried tangling the following and it worked with no problems: --8<---------------cut here---------------start------------->8--- #+PROPERTY: :exports code * Documentation This is documentation. It refers to a Prolog code block which we want to tangle: #+BEGIN_SRC prolog :tangle yes foo :- bar. #+END_SRC #+BEGIN_SRC emacs-lisp :tangle yes (setq foo bar) #+END_SRC #+name: preamble #+begin_src latex :tangle preamble.tex % code goes here #+end_src --8<---------------cut here---------------end--------------->8--- Nick