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

Skip to content
 
Sign up

  * Product
      + Features
      + Mobile
      + Actions
      + Codespaces
      + Packages
      + Security
      + Code review
      + Issues
      + Integrations
      + GitHub Sponsors
      + Customer stories
  * Team
  * Enterprise
  * Explore
      + Explore GitHub
      + Learn and contribute
      + Topics
      + Collections
      + Trending
      + Learning Lab
      + Open source guides
      + Connect with others
      + The ReadME Project
      + Events
      + Community forum
      + GitHub Education
      + GitHub Stars program
  * Marketplace
  * Pricing
      + Plans
      + Compare plans
      + Contact Sales
      + Education

[                    ] 

  *  
    #
    In this repository All GitHub |
    Jump to |

  * No suggested jump to results

  *  
    #
    In this repository All GitHub |
    Jump to |
  *  
    #
    In this user All GitHub |
    Jump to |
  *  
    #
    In this repository All GitHub |
    Jump to |

Sign in
Sign up
{{ message }}

lf94 / paizo-prolog Public

forked from mauricefhebert/paizo-prolog

  * Notifications
  * Fork 1
  * Star 8

An ergonomic, mobile-first, Prolog playground!

8 stars 1 fork
Star
Notifications

  * Code
  * Pull requests 0
  * Actions
  * Projects 0
  * Wiki
  * Security
  * Insights

More

  * Code
  * Pull requests
  * Actions
  * Projects
  * Wiki
  * Security
  * Insights

This commit does not belong to any branch on this repository, and may
belong to a fork outside of the repository.
main
Switch branches/tags
[                    ]
Branches Tags
Could not load branches
Nothing to show
{{ refName }} default View all branches
Could not load tags
Nothing to show
{{ refName }} default
View all tags
3 branches 0 tags
Code
This branch is 6 commits ahead of mauricefhebert:main.
Contribute

  * 
    This branch is 6 commits ahead of mauricefhebert:main.

    Open a pull request to contribute your changes upstream.

  * Open pull request

Latest commit

@lf94
lf94 Add the GitHub Pages link and mention npm install
...
51bc374 Mar 6, 2022
Add the GitHub Pages link and mention npm install
51bc374

Git stats

  * 9 commits

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
design
Completed the MVP
Mar 6, 2022
src
Ignore a TypeScript error
Mar 6, 2022
.gitignore
Update technologies and setup dev env
Mar 3, 2022
README.md
Add the GitHub Pages link and mention npm install
Mar 6, 2022
package-lock.json
Completed the MVP
Mar 6, 2022
package.json
Completed the MVP
Mar 6, 2022
tsconfig.json
Completed the MVP
Mar 6, 2022
webpack.config.js
Completed the MVP
Mar 6, 2022
View code
Paizo Prolog Features Possible improvements Running your own instance
Development

README.md

 Paizo 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.

Facts view Answers view

 Features

  * First-class mobile design
  * Offline-only (other than to get the initial application)
  * Zero external requests
  * Themeable
  * Save to file
  * Load from file
  * Designed to balance between context and focus
  * All code inlined for easy web application saving

 Possible improvements

  * Animations
  * 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.

About

An ergonomic, mobile-first, Prolog playground!

Resources

Readme

Stars

8 stars

Watchers

0 watching

Forks

1 fork

Releases

No releases published

Packages 0

No packages published

Languages

  * TypeScript 93.9%
  * JavaScript 6.1%

  *  (c) 2022 GitHub, Inc.

  * Terms
  * Privacy
  * Security
  * Status
  * Docs
  * Contact GitHub
  * Pricing
  * API
  * Training
  * Blog
  * About

You can't perform that action at this time.
You signed in with another tab or window. Reload to refresh your
session. You signed out in another tab or window. Reload to refresh
your session.