No Access
Theory of Logic Programming
https://doi.org/10.1142/9789814434096_0002Cited by:0 (Source: Crossref)
Abstract:
The following sections are included:
First Order Logic
Resolution Principle
Control Strategies for Resolution Method
Set of Support Resolution
Linear Input Resolution
Evaluation of a Control Strategy
Logic Programming
Prolog
The Necessity of Parallel Logic Programming
