SWI Prolog 5.10.5
Adaptive reuse
ISA 562 Information Systems Theory and Practice
SSL
Design Guide 2012
2012 PCT catalog