Permalink
Switch branches/tags
Nothing to show
Commits on Apr 13, 2012
  1. Improve printing of trivial results

    committed Apr 13, 2012
  2. Add morse-code prolog example

    committed Apr 13, 2012
Commits on Apr 9, 2012
  1. Better rendering of solutions

    committed Apr 9, 2012
  2. Ignore some files

    committed Apr 9, 2012
Commits on Jul 20, 2010
  1. Fixed subtle bug found by mortenib involving `is`

    The interpreter reported a solution for the goal `?- t(2).` using the program in `num.pl`.
    committed Jul 20, 2010
Commits on Jul 16, 2010
Commits on Jul 15, 2010
  1. Added a simple form of functions.

    committed Jul 15, 2010
Commits on Jul 13, 2010
  1. Added important "don't" :-)

    committed Jul 13, 2010
  2. Added more examples that uses the `lt` condition, and added prolog-mo…

    …de hint comments.
    committed Jul 13, 2010
  3. Added support for comments

    committed Jul 13, 2010
Commits on Jul 9, 2010
  1. Whitespace and ignore clean-up

    committed Jul 9, 2010
  2. Added `listlen` predicate.

    committed Jul 9, 2010
Commits on Jul 8, 2010
  1. Added example on how to use the new `lt` predicate.

    Try to read the program in `num.pl` and then use the query 
        
        ?- max(3,6, Result).
    committed Jul 8, 2010
  2. Small typo bug.

    committed Jul 8, 2010
  3. Added support for arithmetic conditions.

    Added the numerical binary predicate less-than `lt` for conditions. If
    a condition isn't satisfied then the goal will fail.
    committed Jul 8, 2010
  4. Added README

    committed Jul 8, 2010
Commits on Jul 6, 2010
  1. Minor clean up in unify

    committed Nov 10, 2009
  2. Fixed yet an embarrasing unify bug

    committed Nov 5, 2009
  3. Added authorship comment

    committed Nov 5, 2009
  4. added tress.pl

    Andrzej Filinski committed with Nov 5, 2009
Commits on Nov 5, 2009
  1. Fixed embarising unify bug, and some type errors

    committed with Ken Friis Larsen Nov 5, 2009
  2. Added comment about list monad

    committed with Ken Friis Larsen Nov 5, 2009
  3. Cleaned up reference solution for students

    committed with Ken Friis Larsen Nov 5, 2009
Commits on Oct 27, 2009
  1. Fixed a bug in freashen

    Minor code clean up in solve
    committed Oct 27, 2009
  2. Ignore some left-over clutter

    committed Oct 27, 2009
  3. Model solution

    committed Oct 27, 2009
Commits on Oct 20, 2009
  1. Final version uploaded to students

    committed Oct 20, 2009
Commits on Oct 19, 2009
  1. Added ASTs in appendices

    committed Oct 19, 2009