Examples
- Prolog
- Foreach and list comprehension
- CGLIB- Constraint-based graphics library
- CLP(FD)
- Logic puzzles by Doug Edmunds
- CLP(Boolean)
- CLP(Set)
- Delaying
- Tabling
- Java interface
- C interface
- Interface to LP/MIP Linear programming packages
- Prolog
- CGLIB- Constraint-based graphcs library for B-Prolog
The generated applets do not support interactions. You need the B-Prolog system to interact with the programs.
- Loops with foreach and list comprehension
- assign.pl An assignment problem
- bqueens.pl N-Queens problem (as a SAT problem)
- dominopuzzle.pl Domino puzzle
- magic.pl Magic square puzzle
- magicseq.pl Magic sequence puzzle
- perms.pl Generate all permutations.
- qsort.pl Quick sort
- queens.pl N-Queens problem
- sudoku.pl Sudoku puzzle
- staircase.pl Print a staircase of a given height
- triangle_matrix.pl Gaussian elimination
- CLP(FD)
- 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.
- 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
- CLP(Boolean)
- srq10.pl A self-referential quizze by Antonio J. Fernandez
- bdiag.pl A Boolean constraint satisfaction problem by Diaz
- bqueens.pl N-queens problem..
- CLP(Set)
- steiners.pl The Steiner's problem
- Delaying
- nreverse.pl
- nreverse_freeze.pl
- queens.pl
- queens_freeze.pl
- sendmoney.pl
- sendmoney_freeze.pl
- sort.pl
- sort_freeze.pl
- C interface
- Java interface
- Draw ( Java , Prolog )
- Queens ( Java , Prolog )
- Queens using forward checking ( Java , Prolog )
- Test type conversion ( Java , Prolog )
- Test fonts ( Java , Prolog )
- Tabling
- ackerman.pl
- farmer.pl
- fib.pl
- knapsack.pl
- lcs.pl
- matrix.pl
- obst.pl
- sg.pl
- transitiveLeft.pl
- transitiveRight.pl
- water.pl
- Linear programming