Prolog's Control Constructs in a Functional Setting — Axioms and Implementation
The purpose of this article is twofold. First, we show that Prolog's control constructs can be smoothly integrated into a functional language like Haskell. The resulting `language', termed embedded Prolog, incorporates many of the features prescribed by the Prolog ISO standard: control con...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
2001
|