• Curry

  • Referenced in 45 articles [sw08981]
  • Curry: a truly functional logic language. Functional and logic programming are the most important declarative ... over the last decade. However, integrated functional logic languages are currently not widely used. This ... proposed which resulted in many different functional logic languages. To overcome this situation, we propose ... functional logic language Curry which can deal as a standard language in this area...
  • PPL

  • Referenced in 101 articles [sw05357]
  • components. Current applications span imperative, functional and logic languages, synchronous languages and synchronization protocols, real...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • Logic programming with functions and predicates: The language BABEL. We investigate the experimental programming language ... functional programming (as embodied in HOPE, Standard, ML, or MIRANDA) and logic programming (as embodied ... flexible, and mathematically well-bounded way. The language relies on a constructor discipline, well suited ... combines pure PROLOG with a first order functional notation. On the other side, the language...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • Kernel-LEAF: A logic plus functional language. Kernel-LEAF is a logic plus functional language...
  • Ciao

  • Referenced in 52 articles [sw12088]
  • general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming...
  • REDLOG

  • Referenced in 166 articles [sw04250]
  • computer algebra system REDUCE to a computer logic system, i.e., a system that provides algorithms ... first-order formulas over some temporarily fixed language and theory. In contrast to theorem provers ... illustrate some applications of REDLOG, describe its functionality as it appears to the user...
  • ProbLog

  • Referenced in 99 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available ... different methodology and offering a different functionality. ProbLog1, or briefly ProbLog, focusses on computing...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... studying their combination. ELAN takes from functional programming the concept of abstract data types ... provide strategy constructors to specify whether a function call returns several, at-least ... determinism is part of a strategy language allowing the programmer to specify the control...
  • EasyCheck

  • Referenced in 13 articles [sw09735]
  • declarative programs written in the functional logic programming language Curry and emphasize the usefulness...
  • GF

  • Referenced in 34 articles [sw13667]
  • special-purpose functional language for defining grammars. It uses a Logical Framework...
  • GHC

  • Referenced in 43 articles [sw23765]
  • logic programming languages, it has close relationship to other formalisms including dataflow languages, Communicating Sequential ... Processes, and functional languages for multiprocessing. Except for the lack of higher- order facilities ... standard not only of parallel logic programming languages but of parallel programming languages. Moreover...
  • Lilac

  • Referenced in 13 articles [sw08983]
  • Lilac: a functional programming language based on linear logic. We take Abramsky’s term assignment ... Linear Logic (the linear term calculus) as the basis of a functional programming language. This...
  • DLV-EX

  • Referenced in 16 articles [sw04642]
  • logic programming with function symbols, object oriented logic languages, inter-operability with external sources ... specific literature about logic programming with function symbols). Relationships with existing formalisms are eventually discussed...
  • KIV

  • Referenced in 53 articles [sw10060]
  • correctness of software systems. Several other object logics have been defined for experimental pursoses ... implemented in an ML-like functional language called PPL, and interfaces to the outside world...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • modern functional programming languages, and as an expressive standard language for higher-order logic. Distinctive...
  • MiniML

  • Referenced in 47 articles [sw29625]
  • type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying ... context of typed λ-calculi and functional languages. We directly demonstrate the sense in which...
  • KiCS2

  • Referenced in 10 articles [sw07613]
  • system to compile functional logic programs of the source language Curry into purely functional Haskell...
  • PFLP

  • Referenced in 3 articles [sw28855]
  • probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts ... functional logic programming language support the implementation of a library for probabilistic programming. In fact ... paradigms of functional logic and probabilistic programming are closely connected. That is, language characteristics from ... call-time choice as known from functional logic programming are related to and coincide with...
  • FlatCurry

  • Referenced in 4 articles [sw28856]
  • logic) declarative language (e.g., Toy), there is an intermediate language, called FlatCurry, for representing functional...
  • FACTORIE

  • Referenced in 13 articles [sw08947]
  • first-order logic, we advocate using an imperative language to express various aspects of model ... oriented, strongly-typed, functional language. In experimental comparisons to Markov Logic Networks on joint segmentation...