• ALM

  • Referenced in 4 articles [sw29436]
  • Theory and Practice of Logic Programming (TPLP...
  • PFLP

  • Referenced in 2 articles [sw28855]
  • Theory and Practice of Logic Programming (TPLP...
  • ProbLog

  • Referenced in 80 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based...
  • KiCS2

  • Referenced in 10 articles [sw07613]
  • KiCS2: a new compiler from Curry to Haskell...
  • Church

  • Referenced in 49 articles [sw08946]
  • Church: A language for generative models. We introduce...
  • FACTORIE

  • Referenced in 12 articles [sw08947]
  • Factorie: Probabilistic programming via imperatively defined factor graphs...
  • Curry

  • Referenced in 42 articles [sw08981]
  • Curry: a truly functional logic language. Functional and...
  • PAKCS

  • Referenced in 28 articles [sw13688]
  • PAKCS is an implementation of the multi-paradigm...
  • FlatCurry

  • Referenced in 4 articles [sw28856]
  • FlatCurry: An intermediate representation for Curry programs. In...
  • CHR.js

  • Referenced in 2 articles [sw28857]
  • CHR.js: A CHR Implementation in JavaScript. Constraint Handling...