- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
我正在用 java 制作一个数独求解器,其核心使用一个小的 prolog kb。 prolog“数独”规则需要一个 prolog 列表。在java中,我有一个带有数独值的int[][]。
我已经使用列表的序言列表成功运行了查询例如Query q1 = new Query("problem(1, Rows), sudoku(Rows).");
其中 Rows
是列表的序言列表,但我还需要让它与 Java int[][] 一起运行例如查询 q1 = new Query("sudoku", intArrayTerm);
相关java代码:
int s00 = parseTextField(t00);
int s01 = parseTextField(t01);
...
int s87 = parseTextField(t87);
int s88 = parseTextField(t88);
int[] row0 = {s00, s10, s20, s30, s40, s50, s60, s70, s80};
...
int[] row8 = {s08, s18, s28, s38, s48, s58, s68, s78, s88};
int[][] allRows = {row0, row1, row2, row3, row4, row5, row6, row7, row8};
Term rowsTerm = Util.intArrayArrayToList(allRows);
Query q0 = new Query("consult", new Term[]{new Atom("/home/mark/Documents/JavaProjects/SudokuSolver/src/com/company/sudoku.pl")});
System.out.println("consult " + (q0.hasSolution() ? "succeeded" : "failed"));
// Query q1 = new Query("problem(1, Rows), sudoku(Rows).");
Query q1 = new Query("sudoku", rowsTerm);
System.out.println("sudoku " + (q1.hasSolution() ? "succeeded" : "failed"));
Map<String, Term> rowsTermMap = q1.oneSolution();
Term solvedRowsTerm = (rowsTermMap.get("Rows"));
parseSolvedRowsTerm(solvedRowsTerm);
序言代码:
sudoku(Rows) :-
length(Rows, 9), maplist(same_length(Rows), Rows),
append(Rows, Vs), Vs ins 1..9,
maplist(all_distinct, Rows),
transpose(Rows, Columns),
maplist(all_distinct, Columns),
Rows = [A,B,C,D,E,F,G,H,I],
blocks(A, B, C), blocks(D, E, F), blocks(G, H, I).
blocks([], [], []).
blocks([A,B,C|Bs1], [D,E,F|Bs2], [G,H,I|Bs3]) :-
all_distinct([A,B,C,D,E,F,G,H,I]),
blocks(Bs1, Bs2, Bs3).
problem(1, [[_,_,_, _,_,_, _,_,_],
[_,_,_, _,_,3, _,8,5],
[_,_,1, _,2,_, _,_,_],
[_,_,_, 5,_,7, _,_,_],
[_,_,4, _,_,_, 1,_,_],
[_,9,_, _,_,_, _,_,_],
[5,_,_, _,_,_, _,7,3],
[_,_,2, _,1,_, _,_,_],
[_,_,_, _,4,_, _,_,9]]).
函数parseTextField
和parseSolvedRowsTerm
,实际上是整个程序,可以与注释掉的Query q1
一起正常工作,但不能与未注释掉的Query q1
一起工作
最佳答案
解决了!向 q1
添加了一个额外参数感谢 github.com/zlumyo,为了方便我偷了他的 BuildMatrix,他的代码给了我额外参数的想法。
Query q1 = new Query("sudoku("+ buildMatrix(allRows) +", Result)");
“Buildmatrix”基本上只是一个 StringBuilder 辅助函数:
private String buildMatrix(int[][] cells) { // build matrix as string
StringBuilder result = new StringBuilder("[");
ArrayList<String> strList = new ArrayList<>();
for (int[] i : cells) {
strList.add(buildList(i));
}
result.append(String.join(",", strList));
result.append("]");
return result.toString();
}
private String buildList(int[] line) { // build matrix as string
StringBuilder result = new StringBuilder("[");
ArrayList<String> intList = new ArrayList<>();
for (int i : line) {
String stringval;
if(i == 0){
stringval = "_";
}else{
stringval = String.valueOf(i);
} // if statement is a small adaptation to the version github.com/zlumyo made, because my prolog sudoku had a slightly different format for the list.
intList.add(stringval);
}
result.append(String.join(",", intList));
result.append("]");
return result.toString();
}
序言代码没有太大变化,只是多了一个参数和 1 行。
sudoku(Rows, Result) :-
length(Rows, 9), maplist(same_length(Rows), Rows),
append(Rows, Vs), Vs ins 1..9,
maplist(all_distinct, Rows),
transpose(Rows, Columns),
maplist(all_distinct, Columns),
Rows = [A,B,C,D,E,F,G,H,I],
blocks(A, B, C), blocks(D, E, F), blocks(G, H, I),
Rows = Result. %extra line
关于java - 如何将java数组转换为prolog列表并用它进行jpl查询?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54688982/
我正在尝试将一个字符串逐个字符地复制到另一个字符串中。目的不是复制整个字符串,而是复制其中的一部分(我稍后会为此做一些条件......) 但我不知道如何使用迭代器。 你能帮帮我吗? std::stri
我想将 void 指针转换为结构引用。 结构的最小示例: #include "Interface.h" class Foo { public: Foo() : mAddress((uint
这有点烦人:我有一个 div,它从窗口的左上角开始过渡,即使它位于文档的其他任何位置。我试过 usign -webkit-transform-origin 但没有成功,也许我用错了。有人可以帮助我吗?
假设,如果将 CSS3 转换/转换/动画分配给 DOM 元素,我是否可以检测到该过程的状态? 我想这样做的原因是因为我正在寻找类似过渡链的东西,例如,在前一个过渡之后运行一个过渡。 最佳答案 我在 h
最近我遇到了“不稳定”屏幕,这很可能是由 CSS 转换引起的。事实上,它只发生在 Chrome 浏览器 上(可能还有 Safari,因为一些人也报告了它)。知道如何让它看起来光滑吗?此外,您可能会注意
我正在开发一个简单的 slider ,它使用 CSS 过渡来为幻灯片设置动画。我用一些基本样式和一些 javascript 创建了一支笔 here .注意:由于 Codepen 使用 Prefixfr
我正在使用以下代码返回 IList: public IList FindCodesByCountry(string country) { var query =
如何设计像这样的操作: 计算 转化 翻译 例如:从“EUR”转换为“CNY”金额“100”。 这是 /convert?from=EUR&to=CNY&amount=100 RESTful 吗? 最佳答
我使用 jquery 组合了一个图像滚动器,如下所示 function rotateImages(whichHolder, start) { var images = $('#' +which
如何使用 CSS (-moz-transform) 更改一个如下所示的 div: 最佳答案 你可以看看Mozilla Developer Center .甚至还有例子。 但是,在我看来,您的具体示例不
我需要帮助我正在尝试在选中和未选中的汉堡菜单上实现动画。我能够为菜单设置动画,但我不知道如何在转换为 0 时为左菜单动画设置动画 &__menu { transform: translateX(
我正在为字典格式之间的转换而苦苦挣扎:我正在尝试将下面的项目数组转换为下面的结果数组。本质上是通过在项目第一个元素中查找重复项,然后仅在第一个参数不同时才将文件添加到结果集中。 var items:[
如果我有两个定义相同的结构,那么在它们之间进行转换的最佳方式是什么? struct A { int i; float f; }; struct B { int i; float f; }; void
我编写了一个 javascript 代码,可以将视口(viewport)从一个链接滑动到另一个链接。基本上一切正常,你怎么能在那里看到http://jsfiddle.net/DruwJ/8/ 我现在的
我需要将文件上传到 meteor ,对其进行一些图像处理(必要时进行图像转换,从图像生成缩略图),然后将其存储在外部图像存储服务器(s3)中。这应该尽可能快。 您对 nodejs 图像处理库有什么建议
刚开始接触KDB+,有一些问题很难从Q for Mortals中得到。 说,这里 http://code.kx.com/wiki/JB:QforMortals2/casting_and_enumera
我在这里的一个项目中使用 JSF 1.2 和 IceFaces 1.8。 我有一个页面,它基本上是一大堆浮点数字段的大编辑网格。这是通过 inputText 实现的页面上的字段指向具有原始值的值对象
ScnMatrix4 是一个 4x4 矩阵。我的问题是什么矩阵行对应于位置(ScnVector3),旋转(ScnVector4),比例(ScnVector3)。第 4 行是空的吗? 编辑: 我玩弄了
恐怕我是 Scala 新手: 我正在尝试根据一些简单的逻辑将 Map 转换为新 Map: val postVals = Map("test" -> "testing1", "test2" -> "te
输入: This is sample 1 This is sample 2 输出: ~COLOR~[Green]This is sample 1~COLOR~[Red]This is sam
我是一名优秀的程序员,十分优秀!