• PFLP

  • Referenced in 2 articles [sw28855]
  • concepts of non-deterministic choice and call-time choice as known from functional logic programming...
  • Isabelle

  • Referenced in 605 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Haskell

  • Referenced in 841 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Isar

  • Referenced in 138 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • Maude

  • Referenced in 657 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • OCaml is the most popular variant of the...
  • 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...
  • SmallCheck

  • Referenced in 19 articles [sw09736]
  • SmallCheck and Lazy SmallCheck: Automatic exhaustive testing for...
  • ITP

  • Referenced in 31 articles [sw09808]
  • The ITP tool is a theorem prover that...
  • TOY

  • Referenced in 55 articles [sw09812]
  • TOY: A Multiparadigm Declarative System. TOY is the...
  • 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...