STORK and PENGUIN: Logic programming systems using general clauses and defaults

Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Marco A. Casanova. STORK and PENGUIN: Logic programming systems using general clauses and defaults. IBM Journal of Research and Development, 36(3):361-374, 1992.

Abstract

Abstract is missing.