Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism

@article{Dylus2019ImplementingAL,
  title={Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism},
  author={Sandra Dylus and Jan Christiansen and Finn Teegen},
  journal={Theory and Practice of Logic Programming},
  year={2019},
  volume={20},
  pages={147 - 175}
}
Abstract This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilistic programming. In fact, the paradigms of functional logic and probabilistic programming are closely connected. That is, language characteristics from one area exist in the other and vice versa. For example, the concepts of non-deterministic… Expand
Determinism: Collision of Natural and Social Sciences’ Interpretations
Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions
  • Finn Teegen
  • Computer Science
  • ICLP Technical Communications
  • 2020

References

SHOWING 1-10 OF 27 REFERENCES
Probabilistic Functional Logic Programming
Purely functional lazy non-deterministic programming
Probabilistic Programming Concepts
Encapsulating Non-Determinism in Functional Logic Computations
A Compilation Target for Probabilistic Programming Languages
Embedded Probabilistic Programming
Evaluation Strategies for Functional Logic Programming
  • S. Antoy
  • Computer Science, Mathematics
  • Electron. Notes Theor. Comput. Sci.
  • 2001
Probabilistic programming
Free theorems for functional logic programs
...
1
2
3
...