Re: Пролог-машина для С

From

Sergey Sikorsky ()

To

All

Date

2000-02-28T20:42:14Z

Area

RU.ALGORITHMS

From: Sergey Sikorsky <ssg@oxir.com>

On Mon, 28 Feb 2000 19:17:29 +0300, Serge Kumkov
<Serge.Kumkov@p20.f800.n5080.z2.fidonet.org> wrote:
> SS> Т.е. как можно писать пролого-подобные алгоритмы на объектных языках?
>
>Классический алгоритм поиска в глубину, 
Это - понятно. Но здесь есть два варианта:
	1) использовать рекурсию
	2) использовать стек
В первом случае обработна недетерминированности (backtracking)
выглядит как-то невнятно и затутанно.
Во втором - хочеся как-то спрятать и/или дерево, чтобы при описании
проблемы оно не светилось в явном виде, т.е что бы была только
декларативная семантика.

>где переход - это сопоставление
>переменных. Это так, в двух словах  ;)
А подробнее?
Особенно про способы реализации этого самого сопоставления.

Сергей Сикорский.
--- ifmail v.2.15dev4
 * Origin: Demos online service (2:5020/400)