Reflective Guarded Horn Clauses language implementation and programming - Tanaka, Jiro; Matono, Fumio (1991)