method ID: sldresolution

Детали сущности

Основная информация

ID сущности

sldresolution

Тип сущности

Method

Английская метка

SLD Resolution

Русская метка

SLD-резолюция

Казахская метка

SLD шешімі

Частота

1

Описание

Английское описание

A method of resolution in logic programming that uses the SLD (Selective Linear Definite) strategy.

Русское описание

-

Казахское описание

-