Basic Forward Chaining Construction for Logic Programs

doi 10.21236/ada344500
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center