From 47207894bda7f106ef685fe19738ae3d27f27041 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 3 Jul 2015 21:27:40 +0200 Subject: html+php wrapper --- README.md | 6 ++++- index.html | 80 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ request.php | 45 ++++++++++++++++++++++++++++++++++ 3 files changed, 130 insertions(+), 1 deletion(-) create mode 100644 index.html create mode 100644 request.php diff --git a/README.md b/README.md index 4d8d199..2e29d14 100644 --- a/README.md +++ b/README.md @@ -108,7 +108,7 @@ The `truthtable` of `e15`: The `parse` function may be used to read an expression from a String. The following rules are used: - * Whitespace is ignored. + * Spaces are ignored. * All latin letters (`[a-zA-Z]`) are considered atomic expressions * Operators are expected in their representation described above * True and False are expected as `1` and `0`, respectively @@ -140,6 +140,10 @@ The option `-e` tells the parser to show the extended truth table. With this opt True | False | True | False True | True | True | True +## Web frontend + +There is a simple web frontend in PHP and a basic HTML template which allows one to connect to the Clean application through his browser. The files for this are `index.html` and `request.php`, and a demo may be found on https://demo.camilstaps.nl/CleanLogic. + ## Future ideas * Different `toString` formats for operators: HTML (`¬`), UTF-8 (¬), LaTeX (`\neg`) diff --git a/index.html b/index.html new file mode 100644 index 0000000..ef717e5 --- /dev/null +++ b/index.html @@ -0,0 +1,80 @@ + + + + + + + CleanLogic + + + + + +
+

CleanLogic

+

Logic toolbox in Clean

+

Copyright © 2015 Camil Staps. This project is licensed under the MIT license. For more details, see the LICENSE file.

+

This project is maintained on GitHub. For more information, see the readme file.

+ +
+ +
+
+

Expressions

+

Enter expressions here, one per line:

+ + Legend
+
+ + + + + + + +
NameNormallyHere
Negation¬~
Conjunction∧&
Disjunction∨|
Implication→->
Equivalence↔<->
+
+
+ +
+
+

Truth table

+

Truth tables are generated with a server-side Clean program.

+ +
+
+
+ + + + + + diff --git a/request.php b/request.php new file mode 100644 index 0000000..2465f5a --- /dev/null +++ b/request.php @@ -0,0 +1,45 @@ + $e) + if (preg_match('/[^a-zA-Z\|\&~\-><01 ]/', $e)) + die('Forbidden character in expression ' . $e); + +$expressions = array_map('escapeshellarg', $expressions); +$expressions = implode(' ', $expressions); +$extended = $extended ? '-e' : ''; + +$call = './LogicParser -b -nt ' . $extended . ' ' . $expressions; + +passthru($call); + -- cgit v1.2.3