This directory contains several example programs:
=================================================

MAC: This directory contains ALF's solution to the
     missionaries and cannibals problem from EQLOG

arith.alf: Some arithmetic functions on naturals

diff.alf: A symbolic differentiation function

fri.alf: An example from Fribourg's SLOG paper

horseman.alf: A classical example for functional/logic programming

isort.alf: Insertion sort (with conditional equations)

lazylist.alf: Implementation of lazy evaluation and infinite lists in ALF

map.alf: (Higher-order) map function

maximum.alf: Definition of the maximum relation by overlapping
             conditional equations

mobile.alf: Definition of a mobile structure. It shows the advantage
            of performing rewriting between narrowing steps.

natmod.alf, stackmod.alf, summe.alf: Calculating the sum over a stack
      of naturals, described in the PLILP'90 paper

natord.alf: Extend the standard mobule for natural numbers by several
            ordering relations.

psort_slow.alf: Relational version of permutation sort

psort_fast.alf: Functional version of permutation sort

qsort.alf: Quicksort (with conditional rewrite rules with extra-variables)

qsortpoly.alf: A generic quicksort module to show the parameterized module
               system of ALF
qsortapply.alf: An application of the generic quicksort module

queens_slow.alf: Classical generate-and-test version of the 8-queens problem

queens_fast.alf: Functional solution to the 8-queens problem which is faster
                 than the classical one

rev.alf: Naive reverse benchmark (relational/functional)



