Не могу найти ошибку

@Enter · Регистрация: 03.04.2015

Author24 — интернет-сервис помощи студентам

Prolog

domains
s=symbol
 
Predicates
centralne upravlinnya(s,s,s)
anesan(s)
it(s,s,s)
finansovo ekonomichnii(s,s,s)
viyskovuy(s,s,s,s,s)
informaciynuy(s,s,s)
sklad kambu(s,s,s,s,s,s,s,s)
 
 
Clauses
centralne upravlinnya(oyadzi,kumite,hombute).
anesan(starwisestru).
it(komon,dizayneru,programistu).
finansovo ekonomichnii(komon,sungun,tekuya).
viyskovuy (segun,komon,samuray,vakasy,yasu).
informaciynii (komon,jurnalistu,pismennuku).
sklad kambu(oyadzi,kumite,hombute,segun).
 
Goal
%centralne upravlinnya(oyadzi,kumite,hombute).
%anesan(komon).
%it(komon,dizayneru,programistu).
%finansovo ekonomichnii(komon,sungun,tekuya).
%viyskovuy(segun,komon,yasu).
%informaciynuy (komon,jurnalistu,pismennuku).
%sklad kambu (oyadzi,kumite,hombute,segun).

Только начал осваивать Prolog.
Не могу найти ошибки, если конечно в этом коде есть что-то правильное

Подскажите пожалуйста.

@Грымзик · 14.09.2013, 18:25

Prolog

domains
s=symbol
 
Predicates
centralne_upravlinnya(s,s,s)
anesan(s)
it(s,s,s)
finansovo_ekonomichnii(s,s,s)
viyskovuy(s,s,s,s,s)
informaciynuy(s,s,s)
sklad_kambu(s,s,s,s)
 
 
Clauses
centralne_upravlinnya(oyadzi,kumite,hombute).
anesan(starwisestru).
it(komon,dizayneru,programistu).
finansovo_ekonomichnii(komon,sungun,tekuya).
viyskovuy (segun,komon,samuray,vakasy,yasu).
informaciynuy(komon,jurnalistu,pismennuku).
sklad_kambu(oyadzi,kumite,hombute,segun).
 
Goal
centralne_upravlinnya(oyadzi,kumite,hombute).

Названия предикатов должны состоять из одного слова. И в предикате sklad_kambu было несоответствие количества параметров в predicates и clauses.

	14.09.2013, 18:25