import javax.servlet.*;
import javax.servlet.http.*;
import java.io.*;
import java.util.List;
import CLIPSJNI.*;
public class SdkServlet extends HttpServlet {
public void doPost( HttpServletRequest request, HttpServletResponse response )
throws ServletException, IOException
{
response.setContentType( "text/html" );
String root = getInitParameter("root"); // root defined in zone.properties
PrintWriter out = response.getWriter();
out.println("");
out.println("");
out.println("Sudoku Solver");
out.println("");
out.println("Sudoku Solver");
out.println("");
System.load("c:/clips/CLIPSJNI/CLIPSJNI.dll");
Environment clips = new Environment();
clips.load(root + "/sylee/courses/clips/clipsjni/examples/sudoku/sudoku.clp");
clips.load(root + "/sylee/courses/clips/clipsjni/examples/sudoku/solve.clp");
clips.reset();
clips.assertString("(phase expand-any)");
clips.assertString("(size 3)");
// read input from web page
String data = request.getParameter("data");
StringBuffer cb = new StringBuffer(data);
StringBuffer input = new StringBuffer();
for (int i=0; i");
for (int i=0; i");
if (digits[i]!=0)
out.println("
" + digits[i] + " | ");
else
out.println(" | ");
if (i % 9 == 8) out.println("");
}
out.println("");
out.println(" ");
out.close();
}
}