https://github.com/logica-web/logica-web.github.io
Documentation for Logica, a logic programming language that compiles to DuckDB, Google BigQuery, PostgreSQL and SQLite.
https://github.com/logica-web/logica-web.github.io
bigquery datalog logic-programming query-language
Last synced: 2 months ago
JSON representation
Documentation for Logica, a logic programming language that compiles to DuckDB, Google BigQuery, PostgreSQL and SQLite.
- Host: GitHub
- URL: https://github.com/logica-web/logica-web.github.io
- Owner: logica-web
- License: apache-2.0
- Created: 2025-01-24T17:47:08.000Z (9 months ago)
- Default Branch: main
- Last Pushed: 2025-04-25T03:29:22.000Z (6 months ago)
- Last Synced: 2025-04-25T04:24:37.829Z (6 months ago)
- Topics: bigquery, datalog, logic-programming, query-language
- Homepage: http://logica-web.github.io/
- Size: 1.1 MB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: docs/contributing/index.md
- License: LICENSE
Awesome Lists containing this project
README
# Logica Online Tutorial Setup
### Credit
Huge thanks to [Vitepress](https://vitepress.dev/)
### Implementation
```
conda create -n logica_web
conda activate logica_web
conda install conda-forge::nodejs
npm install vitepress --save-dev
npm run docs:dev
```
Before push
```
npm run docs:build
npm run docs:preview
```
### Rendering Existing Notebook
```bash
jupyter nbconvert %target%.ipynb --to html --template=lab
```
After generating the HTML file, add the following CSS to the `` section of the HTML to eliminate extra spacing:
```css
<style>
html, body {
margin: 0;
padding: 0;
overflow: hidden; /* Avoid scrollbars inside the iframe */
}
```