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)