James H. Andrews (1991): Predicates as Parameters in Logic Programming: A Set--Theoretic Basis


Title: Predicates as Parameters in Logic Programming: A Set--Theoretic Basis
Author(s): James H. Andrews
Year: 1991
Booktitle: Extensions of Logic Programming
Editor(s): P. Schroeder--Heister
Number: 475
Pages: 31-48
Publisher: Springer
Address: Berlin

Concepts