| Код | predicates imya(symbol) - nondeterm (o) nondeterm (i) ukradeno(symbol) - nondeterm (o)nondeterm (i) sootvetstvie(symbol,symbol) - nondeterm (i,i)nondeterm (i,o) reshenie(symbol,symbol,symbol,symbol,symbol,symbol) - nondeterm (i,i,i,i,i,i)nondeterm (o,o,o,o,o,o) clauses %baza dannih imen imya(martovskyi zayac). imya(bolvanshik). imya(sonya). %baza dannih ukradeno ukradeno(martovskim zaycem). ukradeno(bolvanshikom). ukradeno(sonyei). %opredelim odnoznachnoye sootvetstvie I - imya, U - ukradeno sootvetstvie(I,U):-imya(I), I=martovskyi zayac, ukradeno(U)
|
Задумка правильная? |