暂无分享,去创建一个
[1] David Chan,et al. An Extension of Constructive Negation and its Application in Coroutining , 1989, NACLP.
[2] D. H. D. Warren. 22 Higher-order extensions to PROLOG : are they needed ? , 2013 .
[3] Mark Weiser,et al. Programmers use slices when debugging , 1982, CACM.
[4] Ulrich Neumerkel,et al. Declarative program development in Prolog with GUPU , 2002, WLPE.
[5] Mats Carlsson,et al. Freeze, Indexing, and Other Implementation Issues in the WAM , 1987, ICLP.
[6] Lee Naish,et al. Negation and Control in Prolog , 1986, Lecture Notes in Computer Science.
[7] Ulrich Neumerkel. Extensible Unification by Metastructures , 2007 .
[8] Wlodzimierz Drabent,et al. What is failure? An approach to constructive negation , 1995, Acta Informatica.