• LPTP

  • Referenced in 7 articles [sw01822]
  • The theoretical foundations of LPTP (a logic program...
  • XSB

  • Referenced in 144 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...