User talk:Pgr94/Software-engineering with Prolog

Useful links: Applications:, , , , , , Microsoft.

Properties of type & mode system: prescriptive, descriptive, runtime, load-time, sound, complete, overhead, ...