Title: Prolog and It's Applications (Logic Programming Series)