Results 1 to 6 of 6
Sort by:

  • 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...