Parallélisme dans une machine base de connaissances Prolog — Weidong Dang