References
1.Ivan Bratko. Prolog programming language Pearson Education