VPF::лог. ошибка в предикатах? - Форум программистов

prosardar

Дата 6.8.2011, 17:11 (ссылка)

(нет голосов)

Загрузка ...

Новичок

Профиль
Группа: Участник
Сообщений: 2
Регистрация: 6.8.2011

Репутация: нет
Всего: нет

Вот код который не работает на SWI-Prolog, а именно не пашет closeLine как только не пробывал писать

Код


closeLine(Index, Position, v):- includeIndPos(Index, Position), vLine(Index - 1, Position).

но всё равно не помагает. подскажите в чём ошибка, хотя freeLine работает

Код


:- dynamic vLine(1,1).
:- dynamic hLine(1,1).

%
% const clauses
%

availableIndexs([1,2,3,4,5,6,7]).
availablePositions([1,2,3,4,5,6]).

%
% prolog's predicates
%

includeIndex(Index):- availableIndexs(Inds), belong(Index, Inds).
includePosition(Position):- availablePositions(Pos), belong(Position,Pos).
includeIndPos(Index, Position):- includeIndex(Index), includePosition(Position).

belong(X, []):- fail,!.
belong(X, [X|L]).
belong(X, [H|L]):- belong(X, L).


%
% logic
%

freeLine(Index, Position, v):- includeIndPos(Index, Position), not(vLine(Index, Position)).
freeLine(Index, Position, h):- includeIndPos(Index, Position), not(hLine(Index, Position)).

% if it's close return true
closeLine(Index, Position, v):- includeIndPos(Index, Position), Index2 = Index - 1, vLine(Index2, Position).

Грымзик

Дата 6.8.2011, 17:45 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 50
Регистрация: 7.10.2009

Репутация: 6
Всего: 6

Index2 is Index - 1

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| Prolog \| Следующая тема »