Следующая стенограмма может оказаться полезной:
32 ?- Term = (3*_X + 5*_Y = 10), functor(Term,F,A).
Term = 3*_G527+5*_G530=10
F = =
A = 2
33 ?- Term = (3*_X + 5*_Y = 10), arg(Arg,Term,Val).
Term = 3*_G459+5*_G462=10
Arg = 1
Val = 3*_G459+5*_G462 ; % user pressed ';' interactively
Term = 3*_G459+5*_G462=10
Arg = 2
Val = 10 ; % user pressed ';' interactively
No
35 ?- Term = (3*_X + 5*_Y = 10), arg(1,Term,Val1), functor(Val1,F1,A1),
arg(2,Val1,Val12).
Term = 3*_G693+5*_G696=10
Val1 = 3*_G693+5*_G696
F1 = +
A1 = 2
Val12 = 5*_G696
Последний запрос гласит: для Term, как указано, 1-й arg из Term равен Val1, функтор Val1 - F1 с арностью A1 (то есть он имеет A1 args - подчасти - самого себя), а 2-й arg термина в Val1 хранится в Val12 имя. Чтобы уточнить, любые символьные данные в Прологе имеют форму fff(aa,bb,cc,...), где fff - это какое-то имя, называемое функтором, а к «аргументам» в этом выражении можно получить доступ через вызов arg.
Это означает, что исходное выражение (3*_X + 5*_Y = 10) фактически хранится в Прологе как '='( '+'( '*'(3,_X), '*'(5,_Y)), 10). Когда вы дойдете до атомарных частей (функторов с арностью 0), вы можете проверить их дальше:
47 ?- arg(1,(3*X),V), functor(V,F,A), number(V).
X = _G441
V = 3
F = 3
A = 0
Yes
РЕДАКТИРОВАТЬ: чтобы ответить на ваш другой вопрос (из комментариев):
1 ?- (3*_X + 5*_Y = 10) = (A*X + B*Y = C).
A = 3
X = _G412
B = 5
Y = _G415
C = 10
Yes
Если вы настаиваете на том, чтобы не записывать знак умножения * явно, вам придется представить свои термины в виде строк и проанализировать эту строку. Это было бы гораздо более сложной задачей.
РЕДАКТИРОВАТЬ: еще одна вещь, которую стоит попробовать, - это =.. предикат, называемый "Univ":
4 ?- (3*_X + 5*_Y = 10) =.. X.
X = [=, 3*_G454+5*_G457, 10]
Yes
5 ?- (3*_X + 5*_Y = 10) =.. X, X=[X1,X2,X3], X2 =.. Y.
X = [=, 3*_G545+5*_G548, 10]
X1 = =
X2 = 3*_G545+5*_G548
X3 = 10
Y = [+, 3*_G545, 5*_G548]
Yes
person
Will Ness
schedule
04.02.2012
