A WAM Implementation for the Logic Meta Programming Language 'Log
暂无分享,去创建一个
[1] John W. Lloyd. Directions for Meta-Programming , 1988, FGCS.
[2] John W. Lloyd,et al. Analysis of Meta-Programs , 1989, META.
[3] Frank van Harmelen. Definable Naming Relations in Meta-level Systems , 1992, META.
[4] Gianfranco Rossi,et al. Logic Meta-Programming Facilities in 'LOG , 1992, META.
[5] Gianfranco Rossi. Programs as Data in an Extended Prolog , 1993, Comput. J..
[6] Peter J. Stuckey,et al. Meta Programming as Constraint Programming , 1990, NACLP.
[7] Joxan Jaffar,et al. Methodology and Implementation of a CLP System , 1987, ICLP.
[8] Leon Sterling,et al. Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction , 1986, SLP.
[9] Gaetano Aurelio Lanzarone,et al. A Metalogic Programming Language , 1989, ICLP.
[10] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[11] Hassan Aït-Kaci. Warren's Abstract Machine , 1991, ICLP.
[12] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.