Prolog's Control Constructs in a Functional Setting — Axioms and Implementation

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...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Hinze, R
Format:	Journal article
Udgivet:	2001

Lignende værker

Prological Features in a Functional Setting — Axioms and Implementations
af: Hinze, R
Udgivet: (1998)

Prolog /
af: Giannesini, Francis
Udgivet: (1986)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/
af: 330777 Godel, Kurt
Udgivet: (1940)

Introduction to prolog
af: 217274 Suri, R. P.
Udgivet: (2007)

Logic and prolog /
af: 183240 Spencer-Smith, Richard
Udgivet: (1991)

Prolog applications /
af: 366486 E. D. Schmitter, et al.
Udgivet: (1987)

Programming in Prolog /
af: 248408 Clocksin, W. F., et al.
Udgivet: (1984)

Prolog multiprocessors /
af: 187570 Wise, Michael J.
Udgivet: (1986)

Prolog for programmers /
af: 288266 Kluzniak, Feliks, et al.
Udgivet: (1985)

Prolog programming /
af: 442737 Ford, Nigel
Udgivet: (1989)

Overview of a prolog implementation of COntext INterchange mediator
Udgivet: (2003)

Using turbo prolog /
af: 231359 Rich, Kelly, et al.
Udgivet: (1988)

Prolog programming and applications /
af: 205803 Burnham, W. D., et al.
Udgivet: (1985)

A multiverse perspective on the axiom of constructibility
af: Hamkins, J
Udgivet: (2014)

Numbers, sets and axioms : the apparatus of mathematics /
af: 391265 Hamilton, A. G.
Udgivet: (1982)

Λr -sets and separation axioms
af: Jeyanthi, M. J., et al.
Udgivet: (2011)

Axiom of Choice in nonstandard set theory
af: Karel Hrbacek
Udgivet: (2012-04-01)

A prolog primer /
af: 357908 Rogers, Jean B.
Udgivet: (1986)

On the Uniform Projection and Covering Problems in Descriptive Set Theory Under the Axiom of Constructibility
af: Vladimir Kanovei, et al.
Udgivet: (2025-01-01)

Normalization of Relations and PROLOG
af: Ceri, S, et al.
Udgivet: (1986)

Turbo Prolog primer /
af: 278487 Shafer, Dan
Udgivet: (1986)

Programming in micro-PROLOG /
af: 255879 De Saram, Hugh
Udgivet: (1985)

An introduction to programming in Prolog /
af: 209286 Saint-Dizier, Patrick, et al.
Udgivet: (1990)

Introduction to programming in prolog /
af: 190944 Crookes, Danny
Udgivet: (1988)

Prolog and expert systems /
af: 248107 Bowen, Kenneth A.
Udgivet: (1991)

Productive prolog programming /
af: 189996 Schnupp, Peter, et al.
Udgivet: (1987)

iD-Sets and Associated Separation Axioms
af: Marwan Jardo
Udgivet: (2019-03-01)

Techniques of prolog programming : with implementation of logical negation and quantified goals /
af: Van Le, T.
Udgivet: (1993)

A turbo prolog primer /
af: 357908 Rogers, Jean B.

FOUR AXIOMS FOR A THEORY OF RHYTHMIC SETS AND THEIR IMPLICATIONS
af: Josué Alexis LUGOS ABARCA
Udgivet: (2023-12-01)

Axioms for Consensus Functions on the n-Cube
af: C. Garcia-Martinez, et al.
Udgivet: (2017-01-01)

Prolog programming for artificial intelligence /
af: Bratko, Ivan, 1946-
Udgivet: (2001)

PROLOG in CMOS circuit design /
af: 286189 Hill, Dwight D., et al.

Concurrent prolog : collected papers /
af: Shapiro, Ehud Y.
Udgivet: (1987)

Turbo Prolog : features for programmers /
af: 453447 Nath, Sanjiva
Udgivet: (1986)

Prolog : programming techniques and applications /
af: 318081 Garavaglia, Susan
Udgivet: (1987)

Artificial intelligence through Prolog /
af: 313204 Rowe, Neil C.
Udgivet: (1988)

The professional programmers guide to prolog /
af: 263948 Hamilton, Alan G.
Udgivet: (1989)

Prolog programming for artificial intelligence /
af: Bratko, Ivan, 1946-
Udgivet: (1986)

Micro PROLOG and artificial intelligence /
af: 279857 Berk, A. A.
Udgivet: (1985)