Examples

• Benchmarks collected by Peter Van Roy, used in Lisp & Prolog contest, built at ECRC, ...

The generated applets do not support interactions. You need the B-Prolog system to interact with the programs.

• alpha.pl Arithmetic puzzle
• blocks.pl Blocks world problem
• 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.
• quasi.pl A quasi-group problem.
• 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
• sudoku81.pl SUDOKU puzzles (9*9)
• sudoku250.pl SUDOKU puzzles (25*25, 250 vars)
• sudoku368.pl SUDOKU puzzles (25*25, 368 vars)
• sudoku378.pl SUDOKU puzzles (25*25, 378 vars)
• zebra.pl The zebra puzzle.
• route.pl Channel routing problem by Neng-Fa Zhou

• srq10.pl A self-referential quizze by Antonio J. Fernandez
• bdiag.pl A Boolean constraint satisfaction problem by Diaz
• bqueens.pl ..

• clpset.pl An integer set constraint solver
• steiners.pl The Steiner's problem

• nreverse.pl
• nreverse_freeze.pl
• queens.pl
• queens_freeze.pl
• sendmoney.pl
• sendmoney_freeze.pl
• sort.pl
• sort_freeze.pl

• test_member.c
• test_queens.c
• test_bidirection.c ( test_c_interface.pl )
• test_exception.c

• Draw ( Java , Prolog )
• Queens ( Java , Prolog )
• Queens using forward checking ( Java , Prolog )
• Test type conversion ( Java , Prolog )
• Test fonts ( Java , Prolog )

• ackerman.pl
• fib.pl
• sg.pl
• transitiveLeft.pl
• transitiveRight.pl