Elementary formal systems are a kind of logic programs. We give a comprehensive relationship model for a broad range of classes of elementary formal systems (EFS) and Prolog Programs along with their... This description may be from another edition of this product.