1. McCreath, E., Sharma, A.: Extraction of Meta-Knowledge to Restrict the Hypothes Space for ILP Systems. In: Eight Australian Joint Conference on Artificial Intelligence, Xin Yao, pp. 75–82 (1995)
2. Warren, D.H.D.: Implementing Prolog – Compiling Predicate Logic Programs. Research Reports 39 and 40, Dept. of Artificial Intelligence, University of Edinburgh (1977)
3. Mellish, C.S.: The Automatic Generation of Mode Declarations for Prolog Programs. DAI Research Paper 163, Dept. of Artificial Intelligence, University of Edinburgh (August 1981)
4. Mellish, C.S.: Some Global Optimizations for a Prolog Compiler. J. Logic Programming 2(1), 43–66 (1985)
5. Reddy, U.S.: Transformation of Logic Programs into Functional Programs. In: Proc. 1984 Int.Symposium on Logic Programming, February 1984, pp. 187–196. IEEE Computer Society, Atlantic City (1984)