Porolog Wiki - wizardofosmium/porolog GitHub Wiki

This is the Porolog wiki.

How to use Porolog

How to Program in a Declarative Logic Paradigm

The initial stage of programming in a language such as Prolog is to collect the facts and rules, at least at the high level, and start structuring and assembling them. The final stage centres on the management of backtracking, with realisation that the program is essentially iterative and it is systematically searching through all possible pathways that produce a solution. This type of processing is called Generate and Test. The structure and order of the predicates are important. Pruning (the use of cut) can also be important to avoid infinite processing.

Sample Prolog Problems in Porolog

• Einstein's (so-called) / Zebra Riddle
• Translator Problem