InstantForum.NET v4.1.4Релибhttp://www.relib.com/forums/robot@relib.comFri, 05 Sep 2008 18:08:55 GMT20http://www.relib.com/forums/Topic906118-15-1.aspxМаловероятно, что здесь найдется человек хорошо знакомый с Прологом. Попробуй привлечь к этой теме внимание <A href="http://relib.com/blogs/cryozot/" >Игоря Лобанова</A>. Может он сможет помочь.Fri, 20 Oct 2006 18:36:56 GMTbazilehttp://www.relib.com/forums/Topic906118-15-1.aspx[b]Добрый день, уважаемые программисты![/b]<br><br>Разбираюсь с языком Пролог. Пытаюсь обучить его считать логические выражения. Для начала самые простейшие.<br>Научился определять операции. Операции определил как <br>[code] :- op( 500, xfy, &). % это "Логическое И"<br> :- op( 600, xfx, <===>). % это эквивалентность[/code]<br><br>Подскажите как грамотно задать таблицу истинности (это у меня получилось, но не уверен что правильно)<br>и [u]самое гланое[/u] - что ему (прологу всмысле) еще нужно сказать, чтобы он научился считать составные выражения типа 1 & 1 & 1 <===> 1.<br><br>Таблицу истинности я задал так:<br>[code] 1 & 1 <===> 1.<br> 1 & 0 <===> 0.<br> 0 & 1 <===> 1.<br> 0 & 0 <===> 0.[/code]<br><br>Соответственно на вопрос 1 & 1 <===> X. получаю законное X = 1.<br>А вот на вопрос 1 & 1 & 1 <===> X. получаю сразу No.<br>Понимаю, что он просто не наодит у себя в базе соответствующего факта, но не могу сообразить, как в данном случае задать рекурсию для любого числа "слагаемых".Fri, 20 Oct 2006 17:44:47 GMTacrobat