• Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • continuity. The operational semantics (based on SLD-resolution) is proved sound and complete with respect ... outermost strategy, more efficient than unrestricted SLD-resolution, but still complete, is presented...
  • Likelog

  • Referenced in 13 articles [sw08999]
  • Likelog: a logic programming language for flexible data...
  • Subsumer

  • Referenced in 3 articles [sw13854]
  • Subsumer: a Prolog θ-subsumption engine. State-of...
  • ProGolem

  • Referenced in 4 articles [sw13855]
  • ProGolem: a system based on relative minimal generalisation...
  • CoALP

  • Referenced in 20 articles [sw16105]
  • Coalgebraic logic programming: from semantics to implementation. Coinductive...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • PARLOG: Parallel programming in logic. PARLOG is a...