Draft report of the logic programming language PROTOS-L - Beierle, Christoph 1954-; Böttcher, Stefan; Meyer, Gregor (Institut für Wissensbasierte Systeme <Heidelberg>: IWBS-Report, 1991)