From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <emacs-orgmode-bounces+larch=yhetil.org@gnu.org>
Received: from mp2 ([2001:41d0:8:6d80::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by ms0.migadu.com with LMTPS
	id OHq0NN/pwWGzdgAAgWs5BA
	(envelope-from <emacs-orgmode-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Tue, 21 Dec 2021 15:51:11 +0100
Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
	by mp2 with LMTPS
	id wD5xMN/pwWFZDwAAB5/wlQ
	(envelope-from <emacs-orgmode-bounces+larch=yhetil.org@gnu.org>)
	for <larch@yhetil.org>; Tue, 21 Dec 2021 14:51:11 +0000
Received: from lists.gnu.org (lists.gnu.org [209.51.188.17])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by aspmx1.migadu.com (Postfix) with ESMTPS id 76E411D50F
	for <larch@yhetil.org>; Tue, 21 Dec 2021 15:51:11 +0100 (CET)
Received: from localhost ([::1]:36748 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-orgmode-bounces+larch=yhetil.org@gnu.org>)
	id 1mzgTu-00024s-IT
	for larch@yhetil.org; Tue, 21 Dec 2021 09:51:10 -0500
Received: from eggs.gnu.org ([209.51.188.92]:37376)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <joseph@vidal-rosset.net>)
 id 1mzgOr-0005yC-H5
 for emacs-orgmode@gnu.org; Tue, 21 Dec 2021 09:45:57 -0500
Received: from mail-4022.proton.ch ([185.70.40.22]:35069)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <joseph@vidal-rosset.net>)
 id 1mzgOl-00049y-IU
 for emacs-orgmode@gnu.org; Tue, 21 Dec 2021 09:45:56 -0500
Date: Tue, 21 Dec 2021 14:45:39 +0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vidal-rosset.net;
 s=protonmail3; t=1640097946;
 bh=/ZYevt0lx9nrgm+JKjpdw7kKvl6ieWeyDY6aQfp7wAc=;
 h=Date:To:From:Reply-To:Subject:Message-ID:From:To:Cc;
 b=ROL3Y2BJVrOwkAi+0oAK2/jboQ122tlx+Dmyt1dlimlz3ImdVGm+ShXImJo8CWMAs
 Y07iaMzh/ohjAmR0gTojV7uDTNUSz+xJ0YnBytKpnPchMIVTaeih/0V9pgKMMNZCi3
 YJpOIVi0qeeGHYaF2PripdZRZbAhuMOrN7qj1qpg/qGHyiAZ0NUkpO2rdMNW7YthF6
 TwBIAcLsS8NXBECXM0i5Dv/HPO7JHYWCGhwH0P/rToin6tL/HGEcaEFWVJUFSalbS9
 jN5elJLiU/5O7cYtDisNKUHzEYkxuaNCM5XXabN3EpyBctrMNfeglxbO8j4i0vF6Za
 k5FF8z5d3jBQg==
To: org-mode-email <emacs-orgmode@gnu.org>
From: Joseph Vidal-Rosset <joseph@vidal-rosset.net>
Subject: php scripts in export html code in org-mode
Message-ID: <2271ab91-f70a-7a03-2500-7a58dceb56fc@vidal-rosset.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=185.70.40.22;
 envelope-from=joseph@vidal-rosset.net; helo=mail-4022.proton.ch
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: emacs-orgmode@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
 <mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
 <mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Reply-To: Joseph Vidal-Rosset <joseph@vidal-rosset.net>
Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org
Sender: "Emacs-orgmode" <emacs-orgmode-bounces+larch=yhetil.org@gnu.org>
X-Migadu-Flow: FLOW_IN
X-Migadu-Country: US
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org;
	s=key1; t=1640098271;
	h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date:
	 message-id:message-id:to:to:cc:mime-version:mime-version:
	 content-type:content-type:
	 content-transfer-encoding:content-transfer-encoding:list-id:list-help:
	 list-unsubscribe:list-subscribe:list-post:dkim-signature;
	bh=/ZYevt0lx9nrgm+JKjpdw7kKvl6ieWeyDY6aQfp7wAc=;
	b=eu35OgZm9YUHGfW6hTfP5Cf+gOsNVVTh22EpTU99pouQVmKguvB6rDcgTySs6BtM6tcylF
	JJN1B0nInZK9lUHtUEhkOhgoKGmVvlc1OJhp49wpXMGHLIwylCNIoiXy0uzzvq3YVqB+x4
	GxkAhrdq/j8SAE/G7ciSlT9CewtYaMpJTNRtgIt6tJ+LQPeVmE3icgpC39yitcxvIJaVTn
	EmX8qyTOUV6Xk9ldMdszYxrEmhmDjbzNepzw43StOQdqrzZZISqCI5VA8qirHy70VNRjvq
	cTp1i1moYmmt52tPOkivWOQmX6rYvcx59nysCLykKCirdHOPj99zJH/xiLTEYA==
ARC-Seal: i=1; s=key1; d=yhetil.org; t=1640098271; a=rsa-sha256; cv=none;
	b=N1dixfjJ4pd49RX3PVDJGv8wMH7xaHb/ZuSLZt9IYx2ZgwvMXlx/AQ02cmAEYp44BRpj8k
	5SZUBVNaee+rpN20qF0IXt3dwVUsUL6/jpE6I7GnrQ4V3A2YZNH4g3Of1z8z0+1EeaoJKc
	lkud/09YN4u5+4e5RQeEOGgfOUe/7KwyOn2zpkD6SPY1qDcWW7xNmYJxbSS5YvW294Urqf
	C3KmvlfnT5qZcm6RGEMbQ63drGzkIxc3v1fyRD3dJ8rtM10qg3eKQspPWlDxWYjQ6AdNjv
	IPIS72BTlHJ0R5/E2X7FU+8oJFM/LWA+lmYPyx9t7doCz8hlieuyTxogZLo9HQ==
ARC-Authentication-Results: i=1;
	aspmx1.migadu.com;
	dkim=pass header.d=vidal-rosset.net header.s=protonmail3 header.b=ROL3Y2BJ;
	dmarc=pass (policy=none) header.from=vidal-rosset.net;
	spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org"
X-Migadu-Spam-Score: -3.93
Authentication-Results: aspmx1.migadu.com;
	dkim=pass header.d=vidal-rosset.net header.s=protonmail3 header.b=ROL3Y2BJ;
	dmarc=pass (policy=none) header.from=vidal-rosset.net;
	spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org"
X-Migadu-Queue-Id: 76E411D50F
X-Spam-Score: -3.93
X-Migadu-Scanner: scn0.migadu.com
X-TUID: mz2s4iG0LmAa


Hello,

Here is my problem. The code below, that is the code of the page called
"index.php" works.
< https://www.vidal-rosset.net/fCube/ >

But I would be happy to have this prover in this web page
<
https://www.vidal-rosset.net/fcube_an_efficient_prover_for_intuitionistic_p=
ropositional_logic.html
 >
that I have made from org-mode.
Unfortunately, all my efforts to integrate this code to export failed,
and finally I get a JSON.parse error, (
json-parse-unexpected-character-at-line-1-column-1-of-the-json-data )
that I suspect to be a PHP error code.

Your help is welcome.

Best wishes, and Merry Christmas !

Jo.

PS: the code to export from an org-mode file would be this one (that of
index.php file, presently):

<?php
if ($f_encoded =3D ($_POST['formula'] ?? null)) {

   $formula =3D urldecode($f_encoded);

   // swipl will need the full path, so
   // assume quineweb.pl is in the same folder as this php script
   $fcube =3D __DIR__ . '/fcubeweb.pl';
   $descp =3D [
     0 =3D> ['pipe','r'],
     1 =3D> ['pipe','w'],
     //2 =3D> null
   ];
   $proc =3D proc_open("swipl -g fcube -g halt $fcube", $descp, $pipes);
   if (is_resource($proc)) {

     fwrite($pipes[0], $formula);
     fclose($pipes[0]);

     $Proof =3D stream_get_contents($pipes[1]);
     fclose($pipes[1]);

     $return_value =3D proc_close($proc);

     header('Content-type: application/json');
     echo json_encode(['proof'=3D>$Proof,'formula'=3D>'TBD']);
   }
   exit;
}

?>
<!DOCTYPE html>
<html lang=3D"en">
<head>
<!-- 2020-08-13 jeu. 09:08 -->
<meta charset=3D"utf-8">
<meta name=3D"viewport" content=3D"width=3Ddevice-width, initial-scale=3D1"=
>
<title>index</title>
<meta name=3D"generator" content=3D"Org mode">
<link rel=3D"stylesheet" type=3D"text/css" href=3D"css/org.css"/>
<link rel=3D"stylesheet" type=3D"text/csl" href=3D"ieee.csl"/>
<link rel=3D"icon" href=3D"ico/favicon.ico" type=3D"image/x- icon">
<script type=3D"text/javascript">
/*
@licstart  The following is the entire license notice for the
JavaScript code in this tag.

Copyright (C) 2012-2020 Free Software Foundation, Inc.

The JavaScript code in this tag is free software: you can
redistribute it and/or modify it under the terms of the GNU
General Public License (GNU GPL) as published by the Free Software
Foundation, either version 3 of the License, or (at your option)
any later version.  The code is distributed WITHOUT ANY WARRANTY;
without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE.  See the GNU GPL for more details.

As additional permission under GNU GPL version 3 section 7, you
may distribute non-source (e.g., minimized or compacted) forms of
that code without the copy of the GNU GPL normally required by
section 4, provided you include this license notice and a URL
through which recipients can access the Corresponding Source.


@licend  The above is the entire license notice
for the JavaScript code in this tag.
*/
<!--/*--><![CDATA[/*><!--*/
  function CodeHighlightOn(elem, id)
  {
    var target =3D document.getElementById(id);
    if(null !=3D target) {
      elem.cacheClassElem =3D elem.className;
      elem.cacheClassTarget =3D target.className;
      target.className =3D "code-highlighted";
      elem.className   =3D "code-highlighted";
    }
  }
  function CodeHighlightOff(elem, id)
  {
    var target =3D document.getElementById(id);
    if(elem.cacheClassElem)
      elem.className =3D elem.cacheClassElem;
    if(elem.cacheClassTarget)
      target.className =3D elem.cacheClassTarget;
  }
/*]]>*///-->
</script>
</head>
<body>
<div id=3D"content">
<div class=3D"head">
<div class=3D"title">
<p>
<a href=3D "https://www.swi-prolog.org/"><img src=3D"swi-prolog-logo.png"
width=3D"50" height=3D"50"></a>
<a href=3D"index.html">FCUBE 4.1 WITH INFIX NOTATION</a>
</p>
</div>
</nav>
   <div>
     <div>
     </script>
<script>
  MathJax =3D {
   loader: {
     load: ['[tex]/bussproofs']
   },
   tex: {
     packages: {'[+]': ['bussproofs']},
     tags: 'ams'
   }
};
</script>
<script id=3D"MathJax-script " async
   src=3D"https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">
</script>
</head>
<body>
<div id=3D"content">
<h3>Syntax for input formulas:  ~a ,  a & b, a | b ,a =3D>b , a <=3D> b
(for, respectively, negation, conjunction, disjunction, conditional and
biconditional . </h3>
       <label>
         <p> Choose a formula in the list below, or input your one</p>
         <?=3Dformulae_predef()?>
       </label>
     </div>
     <textarea id=3Dformula rows=3D1 cols=3D100% title=3D'enter your formul=
a
here, or select one predefined above'>

     </textarea>
     <div>
       <button id=3Ddecide_formula><img src=3D"swi-prolog-logo.png"
width=3D"35" height=3D"35"> <b> ? - </b></button>
       <pre id=3Dproof_show>Either an intuitionistic proof or an
intuitionistic  refutation will show here</pre>
     </div>
   </div>
   <?=3Dcss()?>
   <?=3Djs()?>
</html>
<?php

function formulae_predef() {
   ob_start();?>
   <select id=3Dformulae_predef>
     <option> ~ a | a /* Excluded Middle */ </option>
     <option> ~ ~ a =3D> a /* Double Negation Elimination */ </option>
     <option>((a =3D> b) =3D> a) =3D> a /* Pierce Formula */ </option>
     <option>((~ a =3D> b) & (a =3D> b)) =3D> b /* Dilemma */ </option>
     <option>(a =3D> b) | (b =3D> a) /* Dummett Formula */ </option>
     <option>~(a & b) =3D> (~ a | ~ b) /* Classical de Morgan Implication
*/</option>
     <option>(~ a | ~ b) =3D> ~(a & b) /* Intuitionistic de Morgan
Implication */</option>
     <option>~(a | b) <=3D> (~ a & ~ b) /* Intuitionistic De Morgan
Equivalence */</option>
     <option>(~ a =3D> a) <=3D> ~ ~ a /* Intuitionistic Equivalence */</opt=
ion>
     <option> ( ( p
       | ( q
         & r ) )
   <=3D> ( ( p
         | q )
       & ( p
         | r ) ) ) /* Pelletier Problem 13 SYN045+1 */</option>
     <option> ( ( ( p
         & ( q
          =3D> r ) )
      =3D> s )
   <=3D> ( ( ~ p
         | q
         | s )
       & ( ~ p
         | ~ r
         | s ) ) ) /* Pelletier Problem 17 SYN047+1 */ </option>
     <option>((a | b) =3D> c) <=3D> ((a =3D> c) & (b =3D> b)) </option>
     <option>((a & b) =3D> c) <=3D> ((a =3D> c) | (b =3D> c)) </option>
     <!-- add more, to illustrate accepted syntax -->
   </select>
   <?php return ob_get_clean();
}

function css() {
   ob_start();?>
<style>
</style>
   <?php return ob_get_clean();
}

function js() {
   ob_start();?>
   <script>
window.onload =3D () =3D> {

   const request =3D (url,formula) =3D> fetch(url,{
     method: 'POST',
     headers: { 'Content-Type':
'application/x-www-form-urlencoded;charset=3DUTF-8' },
     body: 'formula=3D'+encodeURIComponent(formula)
   }).then(r =3D> r.json())

   decide_formula.onclick =3D async (ev) =3D> {
     let f =3D formula.value.trim()
     if (!f.endsWith('.')) f +=3D '.'
     try {
       let result =3D await request("<?=3D$_SERVER['REQUEST_URI']?>", f)
       if (result.proof)
         proof_show.textContent =3D result.proof
       else
         proof_show.innerHTML =3D 'there was a
problem:<b>'+JSON.stringify(result)+'<b>'
     } catch(e) {
       alert(e.message)
     }
   }
   formulae_predef.onchange =3D (ev) =3D> {
     formula.value =3D ev.target.value
   }
}
   </script><?php
   return ob_get_clean();
}