Praxis

This is the resource-overview page for Praxis - an online IDE for visual programming in Prolog. Examples are not mobile-friendly.

General links

Praxis Blog

Introduction to the project, description of visual syntax, and whatever has come to mind

  • Post#1 [A preview of] Praxis; Visual Programming in Prolog
  • Post#2 Rules and Visual Syntax in Praxis
  • Run Praxis 0.1.0

    Run the (most stable version of the) IDE! Uses Tau-Prolog to let you execute logic models in the browser.

    GitHub Project

    Browse files, view project information, participate!

    Tutorials

    Praxis 101: Bonus calculation rule

    This is supposed to be a gentle introduction to using Praxis. In this example we will perform a simple yearly bonus calculation for employees, based on their age and years of employment at the company [view finished model]

    General Fizzbuzz

    The normal fizzbuzz task, but with the ability to enter an arbitrary number of factors (like "3 gives fizz", "5 gives buzz", etc.) [view finished model]

    Examples

    Tacos problem

    A problematic customer has unreasonable demands - Prolog to the rescue!

    Family relations

    Given a number of "X is parent of Y"-facts, figure who is the ancestor of whom, and who are siblings