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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Hinze, R
Fformat:	Journal article
Cyhoeddwyd:	2001

Eitemau Tebyg

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

Prolog /
gan: Giannesini, Francis
Cyhoeddwyd: (1986)

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

Introduction to prolog
gan: 217274 Suri, R. P.
Cyhoeddwyd: (2007)

Logic and prolog /
gan: 183240 Spencer-Smith, Richard
Cyhoeddwyd: (1991)

Prolog applications /
gan: 366486 E. D. Schmitter, et al.
Cyhoeddwyd: (1987)

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

Prolog multiprocessors /
gan: 187570 Wise, Michael J.
Cyhoeddwyd: (1986)

Prolog for programmers /
gan: 288266 Kluzniak, Feliks, et al.
Cyhoeddwyd: (1985)

Prolog programming /
gan: 442737 Ford, Nigel
Cyhoeddwyd: (1989)

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

Using turbo prolog /
gan: 231359 Rich, Kelly, et al.
Cyhoeddwyd: (1988)

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

A multiverse perspective on the axiom of constructibility
gan: Hamkins, J
Cyhoeddwyd: (2014)

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

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

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

A prolog primer /
gan: 357908 Rogers, Jean B.
Cyhoeddwyd: (1986)

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

Normalization of Relations and PROLOG
gan: Ceri, S, et al.
Cyhoeddwyd: (1986)

Turbo Prolog primer /
gan: 278487 Shafer, Dan
Cyhoeddwyd: (1986)

Programming in micro-PROLOG /
gan: 255879 De Saram, Hugh
Cyhoeddwyd: (1985)

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

Introduction to programming in prolog /
gan: 190944 Crookes, Danny
Cyhoeddwyd: (1988)

Prolog and expert systems /
gan: 248107 Bowen, Kenneth A.
Cyhoeddwyd: (1991)

Productive prolog programming /
gan: 189996 Schnupp, Peter, et al.
Cyhoeddwyd: (1987)

iD-Sets and Associated Separation Axioms
gan: Marwan Jardo
Cyhoeddwyd: (2019-03-01)

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

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

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

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

Prolog programming for artificial intelligence /
gan: Bratko, Ivan, 1946-
Cyhoeddwyd: (2001)

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

Concurrent prolog : collected papers /
gan: Shapiro, Ehud Y.
Cyhoeddwyd: (1987)

Turbo Prolog : features for programmers /
gan: 453447 Nath, Sanjiva
Cyhoeddwyd: (1986)

Prolog : programming techniques and applications /
gan: 318081 Garavaglia, Susan
Cyhoeddwyd: (1987)

Artificial intelligence through Prolog /
gan: 313204 Rowe, Neil C.
Cyhoeddwyd: (1988)

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

Prolog programming for artificial intelligence /
gan: Bratko, Ivan, 1946-
Cyhoeddwyd: (1986)

Micro PROLOG and artificial intelligence /
gan: 279857 Berk, A. A.
Cyhoeddwyd: (1985)