• Prolog
  • Benchmarks collected by Peter Van Roy, used in Lisp & Prolog contest, built at ECRC, ...
• CLP(FD)
  • alpha.pl Arithmetic puzzle
  • bridge.pl Bridge scheduling problem
  • cars.pl Car sequencing problem
  • color.pl Color the graph by Gardner using forward checking.
  • crypta.pl Arithmetic puzzle
  • eq10.pl Linear equation
  • eq20.pl Linear equation
  • fractions.pl Arithmetic puzzle
  • grocery.pl Arithmetic puzzle
  • magic3.pl A magic square problem.
  • magic4.pl A magic square problem.
  • magicseq.pl Magic sequence puzzle
  • olympic.pl A puzzle taken from Olympic games of mathematics.
  • queens1.pl O(N^2)-space program for solving N-queen problem.
  • queens2.pl O(N)-constraint program for solving N-queen problem.
  • queens3.pl O(N)-space program for solving N-queen problem.
  • sendmoney.pl SEND+MORE=MONEY
  • sudoku**.pl SUDOKU puzzles
  • zebra.pl The zebra puzzle.
  • route.pl Channel routing problem
• CLP(Boolean)
  • srq10.pl A self-referential quizze by Antonio J. Fernandez
  • srq50.pl A self-referential quizze by Antonio J. Fernandez
  • bdiag.pl satisfaction problem by Diaz
  • bdonald.pl ..
  • bpigeon.pl ..
  • bqueens.pl ..
  • bramsey.pl ..
  • bschur.pl ..
  • bsend.pl ..
• CLP(Set)
  • steiners1.pl The Steiner's problem
  • steiners2.pl The Steiner's problem (using a specialized propagator)
• Delay clauses
  • nreverse.pl
  • nreverse_freeze.pl
  • queens.pl
  • queens_freeze.pl
  • sendmoney.pl
  • sendmoney_freeze.pl
  • sort.pl
  • sort_freeze.pl
• Java interface
• Tabling
  • ackerman.pl
  • farmer.pl
  • fib.pl
  • sg.pl
  • transitiveLeft.pl
  • transitiveRight.pl
  • water.pl