Как превратить массив Java в список прологов и сделать с ним запрос jpl? - PullRequest
Новая
       21

Как превратить массив Java в список прологов и сделать с ним запрос jpl?

0 голосов
/ 14 февраля 2019

Я делаю решатель судоку в Java, используя небольшой пролог КБ в своей основе.Правило пролога "судоку" требует пролога списка списков.В Java у меня есть int [] [] со значениями судоку.

Я успешно выполнил Query со списком прологов списков, например Query q1 = new Query("problem(1, Rows), sudoku(Rows).");, где Rows - это список прологов списков, но мне нужно также заставить его работать с Java int [] [] например, Query 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

1 Ответ

0 голосов
/ 18 февраля 2019

решил это!добавил дополнительный аргумент к q1 Credits для 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
...