| Contest |
Comments |
| ICLP 2015 |
Boris Vassilev and I participated in the online version of
the LP/CP
Programming Contest 2015. Our submissions
were fqueens.pl
and packing.pl.
|
| ICLP 2007 |
Christian Flicker and I participated in
and won
the net version of the 14th Prolog Programming
Contest, 2007. The task
descriptions: probs.pdf.
Our submissions
were bitrev.pl,
bookmove.pl,
carpet.pl,
juggle.pl,
optisort.pl,
sumdiff.pl.
|
| ICFP 2007 |
Christian Flicker and I participated in ICFP2007 as the
team "Abstract
Machines". execute.cpp
translates DNA to RNA (requires endo.dna from the contest
page), build.cpp
translates RNA to images,
and vis.tcl shows
an animation of RNA instructions. The Prolog
program execute.pl
also converts DNA to RNA and can be used to check several
cases easily. It needs
the rope.pl
library.
|
| ICLP 2006 |
Christian Flicker and I participated
in and won the
net version of the 12th Prolog Programming
Contest, 2006. The task
descriptions: props.pdf.
Our submissions were:
cake.pl,
berge.pl,
hbn.pl,
goodstein.pl,
snow.pl,
ukodus.pl,
soccer.pl.
"Berge-sorted" lists can be described via DCGs:
sorted.pl.
|
| ICFP 2006 |
Christian Flicker and I participated in ICFP2006 as the
team "Abstract Machines". Our key was:
(\b.bb)(\v.vv)06AAbVAiAhBkFdzQhe A
stripped-down version of our abstract machine
implementation
is uv.cpp.
|
| ICLP 2005 |
Christian Flicker and I participated in the net version of
the 11th Prolog Programming Contest, 2005. The task
descriptions: props.pdf.
Our submissions were:
xmas.pl
maxnoncom.pl
turing.pl
didit.pl
pebble.pl
cong.pl.
|