Christoph Beierle Stefan Böttcher Gregor Meyer Draft Report of the Logic Programming Language PROTOS-L IWBS Report 175 1991 IBM Germany Science Center, Institute for Knowledge Based Systems