Skip to content
View luciangreen's full-sized avatar
🏠
Working from home
🏠
Working from home
23 followers · 5 following

Achievements

Achievement: Pull SharkAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report luciangreen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
luciangreen/README.md

Hi there 👋

  • 🔭 I’m currently working on something new.
  • 🌱 I’m currently planning a new compiler.
  • 👯 I’m looking to collaborate on testing development materials.
  • 🤔 I’m looking for help with an online Prolog editor.
  • 💬 Ask me about my List Prolog ecosystem.
  • 📫 How to reach me: luciangreen@lucianacademy.com.
  • 😄 Pronouns: He/him.
  • ⚡ Fun fact: I would like to teach computer science.

Sites: https://dev.to/luciangreen https://lucianpedia.fandom.com/wiki/Computer_Science https://www.youtube.com/channel/UCWpmrriB-XGpWWpWgReqluQ?view_as=subscriber

airballoon-1162340 Image by freeimages.com/stilok

Pinned Loading

  1. Child-Prolog Child-Prolog Public

    Explains Prolog proof concepts visually

    JavaScript

  2. Euler-Theorem-Prover Euler-Theorem-Prover Public

    Uses integration to find sum 1-n and others

    Prolog

  3. Gaussian-Theorem-Prover Gaussian-Theorem-Prover Public

    Gaussian-Theorem-Prover is an experimental symbolic theorem proving system exploring how recursive structures, sequences, and logical transformations can be simplified and discovered using Gaussian…

    Prolog

  4. hyperscript hyperscript Public

    Runs and converts between HyperScript and Prolog

    Prolog

  5. loop2 loop2 Public

    Combines the findall->loop conversion and flattens and splices loops in Prolog

    Prolog

  6. plop plop Public

    Memoises, uses indexical optimisation, subterm with address, subterm-index looping and Gaussian elimination to optimise Prolog

    Prolog