programming logical - palexisru/pl2_rus GitHub Wiki

Логическое программирование

Вид программирования, при котором факты запоминаются в форме отношений между терминами.

При этом терминами могут быть как конечные элементы, так и другие отношения.

Затем можно задавать поиск фактов или отношений, удовлетворяющих запросам.