Design and Implementation of Logic Programming Systems, Multi-paradigm Programming Languages, Parallel Logic Programming Systems