Edinburgh Research Archive

Extracting, organising, designing and reusing Prolog programming techniques