|
Gurr CA, 1994. “A Self-Applicable Partial Evaluator for the Logic Programming Language Godel.” Unpublished PhD thesis, Department of Computer Sciences, University of Bristol. |
|
Kowalski R, 1979. “Algorithm = Logic + Control.” Communications of ACM22424–436. |
|
Milner R, 1978. “A theory of type polymorphism in programming.” Journal of Computer and System Sciences17 (3) 348–375. |
|
Naish L, 1986. Negation and Control in Prolog, Vol. 238, Lecture Notes in Computer Science. Springer- Verlag. |