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

書誌詳細
第一著者:	Hinze, R
フォーマット:	Journal article
出版事項:	2001

類似資料

Prological Features in a Functional Setting — Axioms and Implementations
著者:: Hinze, R
出版事項: (1998)

Prolog /
著者:: Giannesini, Francis
出版事項: (1986)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/
著者:: 330777 Godel, Kurt
出版事項: (1940)

Introduction to prolog
著者:: 217274 Suri, R. P.
出版事項: (2007)

Logic and prolog /
著者:: 183240 Spencer-Smith, Richard
出版事項: (1991)

Prolog applications /
著者:: 366486 E. D. Schmitter, 等
出版事項: (1987)

Programming in Prolog /
著者:: 248408 Clocksin, W. F., 等
出版事項: (1984)

Prolog multiprocessors /
著者:: 187570 Wise, Michael J.
出版事項: (1986)

Prolog for programmers /
著者:: 288266 Kluzniak, Feliks, 等
出版事項: (1985)

Prolog programming /
著者:: 442737 Ford, Nigel
出版事項: (1989)

Overview of a prolog implementation of COntext INterchange mediator
出版事項: (2003)

Using turbo prolog /
著者:: 231359 Rich, Kelly, 等
出版事項: (1988)

Prolog programming and applications /
著者:: 205803 Burnham, W. D., 等
出版事項: (1985)

A multiverse perspective on the axiom of constructibility
著者:: Hamkins, J
出版事項: (2014)

Numbers, sets and axioms : the apparatus of mathematics /
著者:: 391265 Hamilton, A. G.
出版事項: (1982)

Λr -sets and separation axioms
著者:: Jeyanthi, M. J., 等
出版事項: (2011)

Axiom of Choice in nonstandard set theory
著者:: Karel Hrbacek
出版事項: (2012-04-01)

A prolog primer /
著者:: 357908 Rogers, Jean B.
出版事項: (1986)

On the Uniform Projection and Covering Problems in Descriptive Set Theory Under the Axiom of Constructibility
著者:: Vladimir Kanovei, 等
出版事項: (2025-01-01)

Normalization of Relations and PROLOG
著者:: Ceri, S, 等
出版事項: (1986)

Turbo Prolog primer /
著者:: 278487 Shafer, Dan
出版事項: (1986)

Programming in micro-PROLOG /
著者:: 255879 De Saram, Hugh
出版事項: (1985)

An introduction to programming in Prolog /
著者:: 209286 Saint-Dizier, Patrick, 等
出版事項: (1990)

Introduction to programming in prolog /
著者:: 190944 Crookes, Danny
出版事項: (1988)

Prolog and expert systems /
著者:: 248107 Bowen, Kenneth A.
出版事項: (1991)

Productive prolog programming /
著者:: 189996 Schnupp, Peter, 等
出版事項: (1987)

iD-Sets and Associated Separation Axioms
著者:: Marwan Jardo
出版事項: (2019-03-01)

Techniques of prolog programming : with implementation of logical negation and quantified goals /
著者:: Van Le, T.
出版事項: (1993)

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

FOUR AXIOMS FOR A THEORY OF RHYTHMIC SETS AND THEIR IMPLICATIONS
著者:: Josué Alexis LUGOS ABARCA
出版事項: (2023-12-01)

Axioms for Consensus Functions on the n-Cube
著者:: C. Garcia-Martinez, 等
出版事項: (2017-01-01)

Prolog programming for artificial intelligence /
著者:: Bratko, Ivan, 1946-
出版事項: (2001)

PROLOG in CMOS circuit design /
著者:: 286189 Hill, Dwight D., 等

Concurrent prolog : collected papers /
著者:: Shapiro, Ehud Y.
出版事項: (1987)

Turbo Prolog : features for programmers /
著者:: 453447 Nath, Sanjiva
出版事項: (1986)

Prolog : programming techniques and applications /
著者:: 318081 Garavaglia, Susan
出版事項: (1987)

Artificial intelligence through Prolog /
著者:: 313204 Rowe, Neil C.
出版事項: (1988)

The professional programmers guide to prolog /
著者:: 263948 Hamilton, Alan G.
出版事項: (1989)

Prolog programming for artificial intelligence /
著者:: Bratko, Ivan, 1946-
出版事項: (1986)

Micro PROLOG and artificial intelligence /
著者:: 279857 Berk, A. A.
出版事項: (1985)