See also ( Colmerauer , 1982 ; Naish , 1986 ) .
prologii manuel de reference et modele theorique
Alain Colmerauer
Whether or not a goal is sufficiently instantiated is determined on the basis of so-called delay patterns .13 These are specifications provided by the user that 12Coroutining appears under many different guises , like for example , suspension , residuation , ( goal ) freezing , and blocking . See also ( Colmerauer , 1982 ; Naish , 1986 ) . `` In the literature delay patterns are sometimes also referred to as wait declarations or block statements .
See also ( @@CITATION ; Naish , 1986 ) .