Не выводить значение переменной

OLMER

Прошу не пинать, толь начинаю учить Prolog.
Как используя раздел GOAL не выводить значения переменных, которые используются только для "условий" вывода.
Вот пример, так вывести записи с жёстко заданным "виталий_александрович":

Код Prolog
1 2 3 4   GOAL br_sist(виталий_александрович,Y),person(Y,ж,_,_).

И получаем ответы в виде: "Y = ...".

А так при помощи переменной Х мы этого самого "виталий_александрович'а" выбираем запросом "parents(X, _ , дмитрий_витальевич)". В итоге:

Код Prolog
1 2 3   br_sist(X,Y),person(Y,ж,_,_),parents(X,_,дмитрий_витальевич).

Ответ: "Х = виталий_александрович, Y = ..."
Выполняется замечательно, но как убрать вывод переменной Х в результате? Так как имеет одно и то же значение - вывод инфы "некрасивый".

P.S. Вопрос-оффтоп - как подружить копирование кириллицы из Пролога в буфер? Копирует в кривой кодировке, а каждый раз её перегонять через что-то подобное "Штирлицу" лень. Есть решения готовые?
То бишь в Fonts установлено "Cyrrilic", и в программе текст нормально воспроизводится, но при копировании куда-либо - кракозябры. Как привести в порядок перегонку кодировки "CP1252 --> CP-1251"?

Грымзик

Не выводить нельзя, можно писать дополнительные предикаты.

Код Prolog
1 2 3 p(Y):-br_sist(X,Y),person(Y,ж,_,_),parents(X,_,дмитрий_витальевич). goal p(Y).

С кодировкой действительно криво, самой бы интересно было узнать. Но перегонять ничего не надо. Вообще фигня начинает твориться только после того, как первый раз служебное слово напишешь, поэтому можно просто перезапустить компилятор и все можно будет нормально скопировать. Да и просто блокнотом открыть можно.

OLMER

Спасибо, для решения проблем с кодировкой можно, как вариант, юзать: http://www.artlebedev.ru/tools/decoder/advanced/
По поводу доп. предикатов - это понятно, по условию лабы должен быть только запрос в GOAL, вот и думал - может как красивее можно вывести.
И ещё вопрос. Вот при таких запросах, как указывал выше (совмещённых) ругается на тип, если сравнивать с разных предикатов одной переменной, хотя всё вроде верно. Помогло только замена используемых доменов с типом symbol на "жёсткое" устоновление в тип symbol (без доменов). В смысле тип у обоих доменов один - symbol, но при запуске ругается. У всех так? Или я что-то не правильно понял?
Пример:

Код Prolog
1 2 3 4 5 6 7 8 9 10 11 12   DOMAINS father,mother,child,name_and_patronymic,sex,profession = symbol age=integer   PREDICATES nondeterm parents (father, mother, child) nondeterm person (name_and_patronymic, sex, age, profession) ..... GOAL person(Y,_,Age,_),parents(Y,_,X),parents(_,X,дмитрий_витальевич).

В итоге - Illegal variable type... в местах:
person(Y,_,Age,_),parents(Y,_,X),parents(_,X,дмитрий_витальевич).

Грымзик

Да, это нормально. Если хотите использовать домены, то более конструктивно их создавайте. Например зачем father, mother, child, когда это можно заменить одним доменом person. Или можно с кучей типов, но тогда вот так делать
a(X),b(Y),X=Y.

OLMER

Так и делал (добавлял дополнительное условие равенства в конце), но думал - может есть более "правильный" вариант. А по поводу общего домена, то так расписано для удобства восприятия - где указывается отец, где мать, а где сын, что бы у человека взглянувшего на код не возникло вопросов (с комментариями не хотелось заморачиваться, хотел читабельный код).

Добавлено через 3 часа 28 минут
Созрел новый вопрос - как выставить приоритет при создании конструкции из логических операций? На обычные скобки ругается. Что-то вроде:

Код Prolog
1 2 3 4 5 6 7 8 9   PREDICATES charval(char). CLAUSES charval(CharParam):-     readchar(CharParam),     ((CharParam)>=65,CharParam<=90);     (CharParam>=97,CharParam<=122)).

То есть: ((X и У) или (А и Б)).
Почему-то код выше не хочет воспринимать, и ругается на скобки.

Грымзик

В данном диалекте скобки в логических конструкциях недопустимы.

Код Prolog
1 2 3 4 p(CharParam):-CharParam>=65,CharParam<=90,write("AAA"). p(CharParam):-CharParam>=97,CharParam<=122,write("BBB").   charval(CharParam):-readchar(CharParam),p(CharParam).

aag

Или схалтурить:
charval(CharParam):-readchar(CharParam),upper_lower(CharParam,X),X>96,X<123.

OLMER

Благодарю за ответы.
aag, выше я написал подобную конструкцию, с одним диапазоном через условие И проблем и так не было бы.
Надо помимо этого диапазона использовать ИЛИ ещё один диапазон. А в таком виде это невозможно.
Решил проблему через дополнительный предикат, как предложила Грымзик.

aag

Ну, я уточнил "Или схалтурить")))

В ВИПе Ваше конструкция без лишних скобок замечательно жужжит(про ИЛИ, а не про isAlpha()):

Код Prolog
1 2         (    CharParam>=65,CharParam<=90;               CharParam>=97,CharParam<=122   ).

Удачи!!!

OLMER

aag, в таком виде сразу выполняется И, затем ИЛИ, затем опять И, явно же другой приоритет действий. Но всё равно спасибо за потраченное время )