Доступ к термину списка прологов

Question

Я использовал jpl для вызова пролога из Java. Я использую следующий код в Java, чтобы получить значение X из пролога.

String t4 = "myNumber(X)";
Query q4 = new Query(t4);
System.out.println( "first solution of " + t4 + ": X = " + q4.oneSolution().get("X"));

И мое решение...

first solution of myNumber(X): X = '.'(2, [])--which is true.

То, что я хотел сделать сейчас, это получить значение 2 из решения и удвоить число. Может кто-нибудь помочь мне, как справиться с этим?

Answer 1

oneSolution() возвращает хеш-таблицу привязок имени к термину ( говорят они). Затем вы должны проверить термин (не проверено):

Term listTerm = q4.oneSolution().get("X");
Term firstListItem = listTerm.arg(1);
double value = firstListItem.doubleValue(); // alternatively, use intValue() or so

Также проверьте документацию Term.

Редактировать: исправлены ошибки