Thanks for your great effort, BTW.

Confused by the requirement:

;; To activate ob-pr= olog add the following to your init.el file:

;;

;; =C2= =A0(eval-after-load 'org

;; =C2=A0 =C2=A0'(require 'o= rg-prolog))

My Emacs (=C2=A024.5.1) gives an= error with this line. I know I'm probably missing something obvious, b= ut what is org-prolog?

On Fri, Jan 2, 2015 at 8:29 AM, Bjarte Johansen <bjarte.johansen@infomedia.uib.no> wrote:

I thought yo= u should know that I moved the project here:=C2=A0https://github.com/ljos/ob-prolog=C2=A0This makes it a bit easier for me to track issues and do proper comm= it-messages etc.

I have now implemented the sessio= n stuff properly (I think). I still have to implement the variable stuff an= d expansion of the body (or I can perhaps just use the generic function).= =C2=A0

19. des. 2014 kl. 16.25 skrev Bjarte Johansen <Bjarte.Johansen= @infomedia.uib.no>:

I just wanted to report that it is now possible to evaluate prolog c= ode and it should return the correct result. Both as a call to the executab= le and in a session. When calling a goal in a session, I add a cut at the e= nd of the goal so that prolog doesn=E2=80=99t ask if you want to get the ne= xt possible answer. I am not sure if this is the best approach.
<= br>
I haven=E2=80=99t implemented variable assignment yet because= I haven=E2=80=99t decided how it should do that considering how prolog use= s variables. If someone has any ideas for this I would be glad to hear them= . I have considered entering the variables into the prolog database with th= e record predicates or replacing all prolog variables with the same name as= in the var declaration with the value. The last one I don=E2=80=99t think = is a particularly good idea, except if we only replace the free variables.<= /div>

Regards,
Bjarte

=
10. des. 2014 kl. 18.20 skrev Bjarte Jo= hansen <Bjarte.Johansen@infomedia.uib.no>:

Hi,

I have started to implement o= rg-babel support for (swi-)prolog. I have gotten to the point where I can e= xecute a goal in an external process and have the result show up in the org= file. I am now working on getting the session to work correctly. It runs a= nd prints, but it doesn=E2=80=99t do the correct thing in the inferior-mode= -buffer and the output is garbled. I still have some work ahead of me.

I just thought I would let you know in case someone wa= s interested in following the progress or maybe also in helping me. I have = the mode hosted in its current state here=C2=A0https://gist.github.com= /ljos/2e346333e1b7bfd56d05=C2=A0.=C2=A0

And be= fore you ask, yes, if I get this into a working order, I would eventually b= e interested in getting this into either contrib or core.

Regards,
Bjarte

<= /div>

--047d7b15aaadb2d7f705160ea896-- From mboxrd@z Thu Jan 1 00:00:00 1970 From: Puneeth Chaganti Subject: Re: org-babel for prolog Date: Thu, 14 May 2015 23:52:58 +0530 Message-ID: References: <65BF665A-C03D-4CCB-A8C6-A052BDD1BEBD@infomedia.uib.no> <619F74FC-4D9C-47FC-ADC8-2897FFF052F3@infomedia.uib.no> <04441E2C-21DB-4A7B-AF73-76D5AA2CA2CB@infomedia.uib.no> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:48764) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ysxmy-0007xS-N0 for emacs-orgmode@gnu.org; Thu, 14 May 2015 14:23:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Ysxmx-0004YA-WD for emacs-orgmode@gnu.org; Thu, 14 May 2015 14:23:20 -0400 Received: from mail-wi0-x234.google.com ([2a00:1450:400c:c05::234]:37708) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Ysxmx-0004Xq-Oh for emacs-orgmode@gnu.org; Thu, 14 May 2015 14:23:19 -0400 Received: by wibt6 with SMTP id t6so25615056wib.0 for ; Thu, 14 May 2015 11:23:18 -0700 (PDT) In-Reply-To: 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: Lawrence Bottorff Cc: emacs-orgmode , Bjarte Johansen On Thu, May 14, 2015 at 11:41 PM, Lawrence Bottorff wrote: > > Confused by the requirement: > > ;; To activate ob-prolog add the following to your init.el file: > ;; > ;; (eval-after-load 'org > ;; '(require 'org-prolog)) I'm guessing its a typo and should be ob-prolog. The file provides ob-prolog. From mboxrd@z Thu Jan 1 00:00:00 1970 From: Bjarte Johansen Subject: Re: org-babel for prolog Date: Thu, 14 May 2015 23:03:45 +0200 Message-ID: <38284347-6B57-4A67-A48C-5A6FA1D48160@infomedia.uib.no> References: <65BF665A-C03D-4CCB-A8C6-A052BDD1BEBD@infomedia.uib.no> <619F74FC-4D9C-47FC-ADC8-2897FFF052F3@infomedia.uib.no> <04441E2C-21DB-4A7B-AF73-76D5AA2CA2CB@infomedia.uib.no>

Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2098\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59845) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yt0IM-0002PI-DA for emacs-orgmode@gnu.org; Thu, 14 May 2015 17:03:55 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Yt0IJ-0005se-7b for emacs-orgmode@gnu.org; Thu, 14 May 2015 17:03:54 -0400 Received: from alfons.uib.no ([129.177.30.141]:45983) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Yt0IJ-0005rv-1H for emacs-orgmode@gnu.org; Thu, 14 May 2015 17:03:51 -0400 In-Reply-To: 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: Puneeth Chaganti Cc: emacs-orgmode , Lawrence Bottorff > On 14 May 2015, at 20:22, Puneeth Chaganti = wrote: >=20 > On Thu, May 14, 2015 at 11:41 PM, Lawrence Bottorff = wrote: >>=20 >> Confused by the requirement: >>=20 >> ;; To activate ob-prolog add the following to your init.el file: >> ;; >> ;; (eval-after-load 'org >> ;; '(require 'org-prolog)) >=20 >=20 > I'm guessing its a typo and should be ob-prolog. The file provides = ob-prolog. Yes, I typed it wrong. Thank you for bringing it to my attention. I also = discovered that it is better to use `org-babel-do-load-languages=E2=80=99 = instead as well. I will change the recommendation tomorrow. Regards, Bjarte= From mboxrd@z Thu Jan 1 00:00:00 1970 From: Lawrence Bottorff Subject: Re: org-babel for prolog Date: Sat, 16 May 2015 09:00:22 -0400 Message-ID: References: <65BF665A-C03D-4CCB-A8C6-A052BDD1BEBD@infomedia.uib.no> <619F74FC-4D9C-47FC-ADC8-2897FFF052F3@infomedia.uib.no> <04441E2C-21DB-4A7B-AF73-76D5AA2CA2CB@infomedia.uib.no>

<38284347-6B57-4A67-A48C-5A6FA1D48160@infomedia.uib.no> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=047d7b6d98de25af8e0516328b5b Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:36608) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YtbhZ-0004Au-0u for emacs-orgmode@gnu.org; Sat, 16 May 2015 09:00:26 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YtbhX-0007KR-VT for emacs-orgmode@gnu.org; Sat, 16 May 2015 09:00:24 -0400 Received: from mail-pd0-x236.google.com ([2607:f8b0:400e:c02::236]:34269) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YtbhX-0007J7-La for emacs-orgmode@gnu.org; Sat, 16 May 2015 09:00:23 -0400 Received: by pdeq5 with SMTP id q5so63310586pde.1 for ; Sat, 16 May 2015 06:00:22 -0700 (PDT) In-Reply-To: <38284347-6B57-4A67-A48C-5A6FA1D48160@infomedia.uib.no> 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: Bjarte Johansen , emacs-orgmode@gnu.org --047d7b6d98de25af8e0516328b5b Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I'm just a Prolog beginner, but this: #+begin_src prolog edge(a,b). edge(a,e). edge(b,d). edge(b,c). edge(c,a). edge(e,b). tedge(Node1,Node2) :- edge(Node1,SomeNode), edge(SomeNode,Node2). #+end_src keeps giving me this: executing Prolog code block... executing Prolog source code block org-babel-execute:prolog: Wrong type argument: char-or-string-p, ni BTW, should it be (eval-after-load 'org '(require 'ob-prolog)) or (eval-after-load "org" '(require 'ob-prolog)) . . . org in quotes? On Thu, May 14, 2015 at 5:03 PM, Bjarte Johansen < bjarte.johansen@infomedia.uib.no> wrote: > > > On 14 May 2015, at 20:22, Puneeth Chaganti wrote: > > > > On Thu, May 14, 2015 at 11:41 PM, Lawrence Bottorff > wrote: > >> > >> Confused by the requirement: > >> > >> ;; To activate ob-prolog add the following to your init.el file: > >> ;; > >> ;; (eval-after-load 'org > >> ;; '(require 'org-prolog)) > > > > > > I'm guessing its a typo and should be ob-prolog. The file provides > ob-prolog. > > Yes, I typed it wrong. Thank you for bringing it to my attention. I also > discovered that it is better to use `org-babel-do-load-languages=E2=80=99= instead > as well. I will change the recommendation tomorrow. > > Regards, > Bjarte --047d7b6d98de25af8e0516328b5b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

I'm just a Prolog beginner, but this:

#+begin_src prolog

edge(a,b).

edge(a,e).

<= div>edge(b,d).

edge(b,c).

edge(c,a).

edge(e,b= ).

tedge(Node1,Node2) :-

=C2=A0 =C2=A0 =C2=A0 =C2=A0 ed= ge(Node1,SomeNode),

=C2=A0 =C2=A0 =C2=A0 =C2=A0 edge(SomeNode,Nod= e2).

#+end_src