logic editor

Author: valhuber

docs/Architecture-Internals-BLT.md

@@ -108,7 +108,7 @@ If you don't wish to install or run the docker databases, edit your `tests/build
 
 ## Windows Issues
 
-I was able to build in Windows (12/27/2024), with the following non-trivial provisos.
+I was able to build in Windows (12/27/2024), with the following issues.
 
 ### Path Length
 
@@ -122,6 +122,4 @@ For many Windows installs, the path length exceeds the max.
 
     * So, you can *build* on Windows, but you cannot *release*.
 
-### Logging in genai_svcs
 
-Recent changes (as of 12/27/2024) in logging in `api_logic_server_cli/genai/genai_svcs.py` must be commented out.  This is a serious bug which must be addressed before we can release another version.

docs/Sample-Genai.md

@@ -24,7 +24,7 @@ To create a microservice, identify an existing database, or provide a natural la
 
     Include a notes field for orders.
 
-    Use LogicBank to create declare_logic() to enforce the Check Credit requirement (do not generate check constraints):
+    Enforce Check Credit:
     1. Customer.balance <= credit_limit
     2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
     3. Order.amount_total = Sum(Item.amount)

docs/WebGenAI-logic-editor.md

@@ -0,0 +1,54 @@
+!!! pied-piper ":bulb: TL;DR - Edit Logic in Natural Language"
+
+    Backend Logic is nearly half the effort in a transactional system.  Instead of procedural code, WeGenAI provides declarative rules that are 40X more concise.  They can be expressed in Python, or Natural Language as described here.
+
+ 
+
+## Overview: Adding Logic
+
+It's usually a good idea to create your project with an initial focus on structure: tables, columns, relationships.  As you review and iterate, you will likely want to introduce multi-table derivations and constraints. 
+
+You can use normal iterations, or the Logic Editor.
+
+ 
+
+### Using Iterations
+
+You can iterate your project, and declare your logic:
+
+```
+Enforce Check Credit:
+1. Customer.balance <= credit_limit
+2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
+3. Order.amount_total = Sum(Item.amount)
+4. Item.amount = quantity * unit_price
+5. Store the Item.unit_price as a copy from Product.unit_price
+```
+
+&nbsp;
+
+### Using the Logic Editor
+
+You can also the the Logic Editor:
+
+![logic Editor](images/web_genai/logic/logic-editor.png)
+
+Create logic by clicking **Rule Prompt**, or **Suggest**.  For each element, you can **reject** or **accept**.
+
+* When you accept, the system translates the logic prompt (Natural Language) into Code (a Logic Bank Rule expressed in Python), shown in back.
+
+Errors shown in red.  Correct errors in Natural Language using the **black icon button** by providing a new / altered prompt.
+
+Logic may introduce new attributes.  These must be added to the data model, using **Update Data Model**.  When you run, this will update the database and test data.
+
+&nbsp;
+
+## Debugging Logic
+
+Logic can fail to load at runtime.  The system will
+
+* restart the project with rules disabled, so you can still see your data.  You should generally not update when logic is in error.
+
+* report the errors back to the Logic Editor, where you can correct them.
+
+Logic can also fail when you make an update.  Review the log to see the state of the row(s) as each rule fires.

docs/WebGenAI.md

@@ -1,21 +1,18 @@
 ---
 title: Web GenAI
-hide:
-  - navigation
 Description: Instantly Create and Run Database Projects - GenAI, Flask, APIs, SQLAlchemy, React Apps, Rules, Low-Code, Python, Docker, Azure, Web Apps, Microservice, Declarative
 ---
-<style>
-  .md-typeset h1,
-  .md-content__button {
-    display: none;
-  }
-</style>
-[![Downloads](https://static.pepy.tech/badge/apilogicserver)](https://pepy.tech/project/apilogicserver)
-[![Latest Version](https://img.shields.io/pypi/v/apilogicserver.svg)](https://pypi.python.org/pypi/apilogicserver/)
-[![Supported Python versions](https://img.shields.io/pypi/pyversions/apilogicserver.svg)](https://pypi.python.org/pypi/apilogicserver/)
 
 
-[![API Logic Server Intro](images/hero-banner-wg.png)](https://apifabric.ai/admin-app/ "Click to enter Web/GenAI site")
+!!! pied-piper ":bulb: WebGenAI - Web Interface for GenAI-Logic"
+
+      Access WebGenAI via your browser to
+
+      * Create systems from a Natural Language prompt: databases, APIs, an Admin Web App
+      * Iterate them (add new tables, columns etc)
+      * Add Logic
+      * Download the project to your local desktop
+      * Execute the project in GitHub Codespaces
 
 
 &nbsp;
@@ -147,7 +144,8 @@ Create a system with customers, orders, items and products.
 
 Include a notes field for orders.
 
-Use LogicBank to create declare_logic() to enforce the Check Credit requirement (do not generate check constraints):
+Use LogicBank to enforce the Check Credit:
+
 1. Customer.balance <= credit_limit
 2. Customer.balance = Sum(Order.amount_total where date_shipped is null)
 3. Order.amount_total = Sum(Item.amount)
@@ -159,6 +157,8 @@ You can verify this by altering a sample order/item with a very high quantity, a
 
 > Note: at the time of this writing, the sample data sometimes does not totally reflect the derivation rules.  This is under investigation.  You can sometimes resolve this using iterations, eg, `please initialize the customer balance properly`.
 
+For more, see the [logic editor](WebGenAI-logic-editor.md){:target="_blank" rel="noopener"}.
+
 &nbsp;
 
 ### Iterations

docs/images/web_genai/logic/logic-editor.png

@@ -15,7 +15,8 @@ theme:
 nav:
   - " ": index.md
   - GenAI:
-    - "GenAI Website": WebGenAI.md
+    - "WebGenAI Website": WebGenAI.md
+    - "WebGenAI Logic Editor": WebGenAI-logic-editor.md
     - "GenAI CLI": WebGenAI-CLI.md    
     - "Sample": Sample-Genai.md
   - Quick Start: