Method and a system for processing logic programs: Jean-Claude Syre, Harald Westphal, Max Hailperin, Munich, Federal Republic of Germany assigned to European Computer-Industry Research Centre GmbH