📄 index.html~
字号:
<HTML>
<HEAD>
<TITLE> BP: Examples </Title>
</HEAD>
<BODY>
<center>
<H1> Example Programs </H1>
</center>
<UL>
<LI> <a href="#Pro">Prolog</a>
<LI> <a href="#CG">CG- Constraint-based graphical programming</a>
<LI> <a href="#FD"> CLP(FD)</a>
<LI><a href="#CLPB"> CLP(Boolean)</a>
<LI> <a href="#CLPSET">CLP(Set)</a>
<LI> <a href="#DEL">Delaying</a>
<LI><a href="#TAB">Tabling</a>
</UL>
<UL>
<LI> <a name="Pro">Prolog</a>
<UL>
<LI> <a href="http://www.sci.brooklyn.cuny.edu/~zhou/bprolog/benchmarks.tar.gz"> Benchmarks collected by Peter Van Roy, used in Lisp & Prolog contest, built at ECRC, ...</a>
</UL>
<br>
<LI> <a name="CG">CGLIB- Constraint-based graphcs library for B-Prolog</a>
<UL>
<LI> <a href="cg/antiguabarbuda.html">Antigua and Barbuda </a>
<LI> <a href="cg/animateCircles.html"> Animating circles of different colors </a>
<LI> <a href="cg/allComponents.html"> CGLIB components</a>
<LI> <a href="cg/binaryTree.html"> Binary tree</a>
<LI> <a href="cg/boxLayout.html"> Packing boxes into a rectangle</a>
<LI> <a href="cg/calculator.html"> Calculator</a>
<LI> <a href="cg/china.html"> Chinese flag</a>
<LI> <a href="cg/circles.html"> Draw fancy circles</a>
<LI> <a href="cg/domino.html"> Dominos</a>
<LI> <a href="cg/flags.html"> Animate flags</a>
<LI> <a href="cg/hanoi.html"> Towers of Hanoi</a>
<LI> <a href="cg/hello.html"> Hello World</a>
<LI> <a href="cg/japan.html"> Japanese flag</a>
<LI> <a href="cg/magic4.html"> The 4*4 magic square puzzle</a>
<LI> <a href="cg/queens.html"> N-queen problem </a>
<LI> <a href="cg/pythagoras.html"> Pythagoras </a>
<LI> <a href="cg/recCircleRec.html"> An illustrative example </a>
<LI> <a href="cg/route.html"> A multi-layer channel router</a>
<LI> <a href="cg/sierpinski.html"> Draw Sierpinski's triangles</a>
<LI> <a href="cg/sort.html"> Animate the bubble sort algorithm</a>
<LI> <a href="cg/sendmory.html"> SEND+MORE=MONEY</a>
<LI> <a href="cg/squares.html"> Rotating squares</a>
<LI> <a href="cg/circleChart.html"> A circle chart</a>
<LI> <a href="cg/usa.html"> American flag</a>
</UL>
<br>
<LI> <a name="FD"> CLP(FD)</a>
<UL>
<LI> <a href="clpfd/alpha.pl"> alpha.pl</a> Arithmetic puzzle
<LI> <a href="clpfd/bridge.pl"> bridge.pl</a> Bridge scheduling problem
<LI> <a href="clpfd/cars.pl"> cars.pl </a> Car sequencing problem
<LI> <a href="clpfd/color.pl"> color.pl </a> Color the graph by Gardner using forward checking.
<LI> <a href="clpfd/crypta.pl"> crypta.pl </a> Arithmetic puzzle
<LI> <a href="clpfd/eq10.pl"> eq10.pl </a> Linear equation
<LI> <a href="clpfd/eq20.pl"> eq20.pl </a> Linear equation
<LI> <a href="clpfd/fractions.pl"> fractions.pl</a> Arithmetic puzzle
<LI> <a href="clpfd/grocery.pl"> grocery.pl</a> Arithmetic puzzle
<LI> <a href="clpfd/magic3.pl"> magic3.pl</a> A magic square problem.
<LI> <a href="clpfd/magic4.pl"> magic4.pl</a> A magic square problem.
<LI> <a href="clpfd/magicseq.pl"> magicseq.pl </a> Magic sequence puzzle
<LI> <a href="clpfd/olympic.pl"> olympic.pl </a> A puzzle taken from Olympic games of mathematics.
<LI> <a href="clpfd/queens1.pl"> queens1.pl </a> O(N^2)-space program for solving N-queen problem.
<LI> <a href="clpfd/queens2.pl"> queens2.pl </a> O(N)-constraint program for solving N-queen problem.
<LI> <a href="clpfd/queens3.pl"> queens3.pl </a> O(N)-space program for solving N-queen problem.
<LI> <a href="clpfd/sendmoney.pl"> sendmoney.pl </a> SEND+MORE=MONEY
<LI> <a href="clpfd/sudoku81.pl"> sudoku81.pl </a> SUDOKU puzzles (9*9)
<LI> <a href="clpfd/sudoku250.pl"> sudoku250.pl </a> SUDOKU puzzles (25*25, 250 vars)
<LI> <a href="clpfd/sudoku368.pl"> sudoku368.pl </a> SUDOKU puzzles (25*25, 368 vars)
<LI> <a href="clpfd/sudoku378.pl"> sudoku378.pl </a> SUDOKU puzzles (25*25, 378 vars)
<LI> <a href="clpfd/zebra.pl"> zebra.pl </a> The zebra puzzle.
<LI> <a href="clpfd/route.pl"> route.pl </a> Channel routing problem by Neng-Fa Zhou
</UL>
<br>
<LI><a name="CLPB"> CLP(Boolean)</a>
<UL>
<LI> <a href="clpb/srq10.pl"> srq10.pl </a> A self-referential quizze by Antonio J. Fernandez
<LI> <a href="clpb/srq50.pl"> srq50.pl </a> A self-referential quizze by Antonio J. Fernandez
<LI> <a href="clpb/bdiag.pl"> bdiag.pl</a> A Boolean constraint satisfaction problem by Diaz
<LI> <a href="clpb/bqueens.pl"> bqueens.pl</a> ..
<!--
<LI> <a href="clpb/bdonald.pl"> bdonald.pl</a> ..
<LI> <a href="clpb/bpigeon.pl"> bpigeon.pl</a> ..
<LI> <a href="clpb/bramsey.pl"> bramsey.pl</a> ..
<LI> <a href="clpb/bschur.pl"> bschur.pl</a> ..
<LI> <a href="clpb/bsend.pl"> bsend.pl</a> ..
-->
</UL>
<br>
<LI> <a name="CLPSET">CLP(Set)</a>
<UL>
<LI> <a href="clpset/steiner1.pl"> steiners1.pl </a> The Steiner's problem
<LI> <a href="clpset/steiner2.pl"> steiners2.pl </a> The Steiner's problem (using a specialized propagator)
</UL>
<br>
<LI> <a name="DEL">Delaying</a>
<UL>
<LI> <a href="delay/nreverse.pl">nreverse.pl</a>
<LI> <a href="delay/nreverse_freeze.pl">nreverse_freeze.pl</a>
<LI> <a href="delay/queens.pl">queens.pl</a>
<LI> <a href="delay/queens_freeze.pl">queens_freeze.pl</a>
<LI> <a href="delay/sendmoney.pl">sendmoney.pl</a>
<LI> <a href="delay/sendmoney_freeze.pl">sendmoney_freeze.pl</a>
<LI> <a href="delay/sort.pl">sort.pl</a>
<LI> <a href="delay/sort_freeze.pl">sort_freeze.pl</a>
</UL>
<br>
<LI> Java interface
<br>
<LI><a name="TAB">Tabling</a>
<UL>
<LI> <a href="tabling/ackerman.pl"> ackerman.pl </a>
<LI> <a href="tabling/farmer.pl"> farmer.pl</a>
<LI> <a href="tabling/fib.pl"> fib.pl</a>
<LI> <a href="tabling/sg.pl"> sg.pl</a>
<LI> <a href="tabling/transitiveLeft.pl"> transitiveLeft.pl</a>
<LI> <a href="tabling/transitiveRight.pl"> transitiveRight.pl</a>
<LI> <a href="tabling/water.pl"> water.pl</a>
</UL>
</UL>
</BODY>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -