Journal of Logic Programming

来自维基百科，自由的百科全书

Found in articles

Muggleton, S.; De Raedt, L. Inductive Logic Programming: Theory and methods. The Journal of Logic Programming. 1994, 19–20: 629–679. doi:10.1016/0743-1066(94)90035-3

重写逻辑

proving. The Journal of Logic Programming. 1992, 14 (1–2): 71–99. doi:10.1016/0743-1066(92)90047-7 . Frühwirth, Thom. Theory and practice of constraint

函数式逻辑编程

Herbert. The Journal of Functional and Logic Programming. University of Münster. [2020-04-24]. （原始内容存档于2018-12-31）. Functional logic programming （页面存档备份，存于互联网档案馆）

非单调逻辑

M. Cadoli and M. Schaerf. A survey of complexity results for non-monotonic logics. Journal of Logic Programming, 17:127-160, 1993. F. M. Donini, M. Lenzerini

Isabelle

Paulson, L. C. Natural deduction as higher-order resolution. The Journal of Logic Programming. 1986, 3 (3): 237. arXiv:cs/9301104 . doi:10.1016/0743-1066(86)90015-4