SLD Resolution

Back to List
method ID: sldresolution

Entity Details

Basic Information

Entity ID

sldresolution

Entity Type

Method

English Label

SLD Resolution

Russian Label

SLD-резолюция

Kazakh Label

SLD шешімі

Frequency

1

Description

English Description

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

Russian Description

-

Kazakh Description

-