Paizo - a playground for Prolog users

Related tags

Web Game paizo-prolog
Overview

Paízo Prolog

Pronounced "Pay-zo Prolog".

https://lf94.github.io/paizo-prolog/

Paizo is a playground for Prolog users. It's intended to be used for those quite moments in life where you have a few minutes, or when in a heated debate you would do much better with a programmatic reasoner in your pocket.

Features

  • First-class mobile design
  • Offline-only (other than to get the initial application)
  • Zero external requests (uses tau-prolog for evaluation)
  • Themeable
  • Save to and load from files
  • Designed to balance between context and focus
  • All code inlined for easy web application saving

Possible improvements

These are improvements which may eventually make it in. If you're feeling charitable or motivated to do them, I very much encourage it!

  • Animations
  • Toggle dark/light mode
  • Auto-detect environment to load proper Bootstrap UI theme
  • Support more languages
    • Change the name to "Paizo Programmer"

Running your own instance

Simply open index.html in your web browser.

Development

You must first run npm install.

Make your changes, run npx webpack, and open the new index.html.

Look at design/ for how the application was designed.

You might also like...

Rollup + React + Babel + Prettier + Strict ESlint and Stylelint + Sass + VSCode + Playground app - Enterprise grade boilerplate

React package boilerplate by HackingBay Rollup + React 17 + Babel + Prettier + Strict ESlint and Stylelint + Sass + VSCode + Playground app - Enterpri

Jan 19, 2022

A simple code playground

CodeeBox A simple code playground 😏 Features: Instant change preview Saving without accounts or databases, everything's on the URL (Encoded) Resizabl

Nov 17, 2022

GraphQL API Playground with cascade-like operations

modif ( 🍖 👉 🥪 ) modif is a small GraphQL API with transform capabilities. It takes a string input and outputs a string. Always. TL;DR Go play with

Jan 4, 2022

Code Playground is a online application for testing and showcasing user-created and collaborational HTML, CSS and JavaScript code snippets

Code Playground is a online application for testing and showcasing user-created and collaborational HTML, CSS and JavaScript code snippets

Code Playground About Code Playground is a online application for testing and showcasing user-created and collaborational HTML, CSS and JavaScript cod

Dec 17, 2022

Playground for GNOME development

Playground for GNOME development

Workbench Playground for GNOME development Workbench aims to provide a great developer experience for the following use cases An application to learn

Jan 5, 2023

TypeScript playground plugin to save on format

TypeScript Playground Plugin TypeScript Playground plugin to save on format Running this plugin Click this link to install or Open up the TypeScript P

Apr 11, 2022

Try Vant in the Playground. Currently only Vant 3+ is supported

Try Vant in the Playground. Currently only Vant 3+ is supported

SFC Playground with Vant This is an Vant SFC Playground. Detail vercel.app Or zhixiaoqiang.github.io NOTE! The reason why this is designed to manually

Dec 14, 2022

A (very) minimalist creative coding playground. Make animations using only 64 HTML sliders!

Sliderland A (very) minimalist creative coding playground. Make animations using only 64 HTML sliders! Credits The recording feature uses ffmpeg.wasm

Dec 30, 2022

A Next.js playground to test Reanimated bundle size.

React Native Reanimated Tree Shaking Playground Here we can test react-native-reanimated's bundle size. 🎙 Discussion here 🗺 Progress here Instructio

Jun 16, 2022

JS bindings and playground of post-quantum asymmetric ciphers

pqc.js Overview This project provides JS bindings and playground of post-quantum asymmetric cipher compiled to WebAssembly using emscripten with a fal

Oct 30, 2022

Playground for studying design patterns, solid principles, GoF, testing and more with TypeScript

TypeScript design patterns study Playground for studying design patterns, solid principles, GoF, testing and more with TypeScript Index TypeScript des

Dec 9, 2022

A playground project for JavaScript.

A playground project for JavaScript.

Awesome books Screenshot Built With HTML CSS JS Live Demo Awesome books Getting Started To get a local copy up and running: Clone this repository or d

Aug 25, 2022

js move playground by imcoding.online

JS MOVE PLAYGROUND Wrapper move playground by pontem. Only support Browser environment. Demo imcoding.online Install npm i @imcoding.online/js-move-pl

Dec 3, 2022

A Nuxt.js module that injects a server route to serve the GraphQL Playground

@pin-pon/nuxt-graphql-playground A Nuxt.js module that injects a server route to serve the GraphQL Playground Setup Add @pin-pon/nuxt-graphql-playgrou

Sep 22, 2022

A health-focused app for users to be able to track workouts and nutritional data with a social media component to inspire friendly competition among the users.

A health-focused app for users to be able to track workouts and nutritional data with a social media component to inspire friendly competition among the users.

Aug 26, 2022

This project is a To-do list app which users can store and edit their Todo Tasks. Users can also change the order of their todo

Project This project is about a todo app bundling using webpack Additional description about the project and its features. Built With HTML CSS Javascr

Jun 17, 2022

Self-Hosted Discord Bot to onboard users, protect users, and gamify entertainment & engagement.

Self-Hosted Discord Bot to onboard users, protect users, and gamify entertainment & engagement.

Self-Hosted Open-Source Discord Bot to onboard & protect community members. It gamifies user entertainment & engagement. Usage Clone using: git clone

Sep 8, 2022

The Space Traveler's Hub is an application where users can check out availble space rockets and book them or cancel the previously made booking. Also users can find a list of current missions along with their brief description and can join the selected mission or leave the mission the user joined earlier.

Space-Travelers-Hub The Space Traveler's Hub is an application where users can check out available space rockets and book them or cancel the previousl

Sep 22, 2022

A totally functional user api. It's a service where you list users, create users, update or even delete them.

USER-API 🎯 ABOUT A user api system made with TypeScript using express and prisma. It's a service where you list user, create users, update them or ev

Oct 27, 2022
Comments
  • Looking for a nice icon!

    Looking for a nice icon!

    It would be nice to have a proper icon for when the web application is saved to the home screen of a phone. Right now I just have a giant "P".

    If you have any design ideas please share!

    opened by lf94 0
Owner
Lee
Smile!
Lee
GitHub
An ergonomic, mobile-first, Prolog playground!

Paízo Programmer Pronounced "Pay-zo Programmer". https://lf94.github.io/paizo-programmer/ Paizo is a playground for programmers. It's intended to be u

Lee 30 Aug 13, 2022
Grupprojekt för kurserna 'Javascript med Ramverk' och 'Agil Utveckling'

JavaScript-med-Ramverk-Laboration-3 Grupprojektet för kurserna Javascript med Ramverk och Agil Utveckling. Utvecklingsguide För information om hur utv

Svante Jonsson IT-Högskolan 3 May 18, 2022
Hemsida för personer i Sverige som kan och vill erbjuda boende till människor på flykt

Getting Started with Create React App This project was bootstrapped with Create React App. Available Scripts In the project directory, you can run: np

null 4 May 3, 2022
Kurs-repo för kursen Webbserver och Databaser

Webbserver och databaser This repository is meant for CME students to access exercises and codealongs that happen throughout the course. I hope you wi

null 14 Jan 3, 2023
SWI-Prolog WebAssembly build as a NPM package

swipl-wasm SWI-Prolog WebAssembly build as a NPM package. Please see this page for ongoing progress and information: https://swi-prolog.discourse.grou

Raivo Laanemets 9 Nov 17, 2022
The to-do list project is an app that allows users to successfully organize their day by inputting prioritized tasks. The project also allows users to carry out the CRUD operations for (add, edit and delete). Two special features of the app are that it saves tasks in the local storage of the user's browser, so when the user reloads or revisits the app, the user can view a list of tasks formerly inputted, and it allows users to prioritize their tasks by dragging up and down the list section.

TO-DO-LIST This is a To Do List Project that dynamically displays tasks to be done with interactions for removing and adding task when completed or no

Francis Ugorji 9 Nov 1, 2021
Reddit is a website where a community of registered users ( redditors) submits content. Its format resembles a traditional bulletin board system, allowing users to post messages and links to other websites and comment on each other's posts. Entries are ranked by a voting system; other users can vote comments and posts either up ( upvoted) or down.

Setup First, run the development server: npm run dev Open http://localhost:3000 with your browser to see the result. You can start editing the page by

Ibrahim Raimi 4 Jun 23, 2022
Playground for the fire effect from DOOM. Really simple algorithm and all experiments are welcome!

Doom Fire Algorithm Playground A playground of experiments related to the Doom fire effect implemented in JavaScript. Feel free to submit your experim

Filipe Deschamps 1.3k Jan 2, 2023
A simple playground to create and test your Katas in Typescript.

Kata Playground TS A simple playground to create and test your Katas in Typescript. A code kata is an exercise in programming which helps programmers

Willian Justen 23 Jan 20, 2022
⚡ Extremely fast online playground for every programming language.

Riju Riju is a very fast online playground for every programming language. In less than a second, you can start playing with a Python interpreter or c

Radon Rosborough 845 Dec 28, 2022