Intellektual tizimlar

1.1.9. Resheniye logicheskix zadach. Sposobnosti k opisaniyu logicheskix zadach yavlyayutsya naiboleye silnoy storonoy PROLOGa.
Mnogiye logicheskiye zadachi svyazanы s rassmotreniyem neskolkix konechnыx mnojestv s odinakovыm kolichestvom elementov, mejdu kotorыmi ustanavlivayetsya vzaimno-odnoznachnoye sootvetstviye. Na yazыke Prolog eti mnojestva mojno opisыvat kak bazы dannыx, a zavisimosti mejdu obyektami ustanavlivat s pomoщyu pravil.
Rassmotrim prostuyu logicheskuyu zadachu.
Primer:
«V velosipednыx gonkax tri pervыx mesta zanyali Alesha, Petya i Kolya. Kakoye mesto zanyal kajdыy iz nix, yesli Petya zanyal ne vtoroye i ne tretye mesto, a Kolya – ne tretye?»
Resheniye zadachi zaklyuchayetsya v ustanovlenii zavisimosti mejdu sportsmenami i mestami, kotoruyu mojno opisat tabl. 2 (procherki ukazыvayut izvestnuyu informasiyu):
Tablisa 2

Imya	1-ye mesto	2-ye mesto	3-ye mesto
Alesha
Petya		–	–
Kolya			–

Ochevidno, Petya mojet zanimat tolko pervoye mesto, togda Kolya – tolko vtoroye, a Aleshe dostayetsya tretye (tabl. 3).
Tablisa 3