Prological Features in a Functional Setting Axioms and Implementation

@inproceedings{Hinze1998PrologicalFI,
  title={Prological Features in a Functional Setting Axioms and Implementation},
  author={Ralf Hinze},
  booktitle={Fuji International Symposium on Functional and Logic Programming},
  year={1998}
}
  • Ralf Hinze
  • Published 1998 in
    Fuji International Symposium on Functional and…
The purpose of this paper is twofold. First, we show that Prological features can be smoothly integrated into a functional language like Haskell. The resultingìanguage', embedded Prolog, lacks some concepts such as logical variables but it inherits all of Haskell's strengths eg static polymorphic typing, higher order functions etc. Technically, the integration is achieved using monads and monad transformers. One of the main innovations is the deenition of a backtracking monad transformer which… CONTINUE READING
8 Citations
25 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Report on the programming language Haskell 1.4, a non-strict, purely functional language

  • J Peterson, K Hammond
  • Report on the programming language Haskell 1.4, a…
  • 1997

EEcient monadic-style backtracking

  • Ralf Hinze
  • EEcient monadic-style backtracking
  • 1996

Similar Papers

Loading similar papers…