A semantics for &lgr;Prolog

Authors:
D. A. Wolfram
Affiliations:
Oxford Univ., Oxford, UK
Venue:
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics. Part II : lambda calculus and domain theory: lambda calculus and domain theory
Year:
1994

Providing declarative semantics for HH extended constraint logic programs

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Higher-order logic programming languages with constraints: a semantics

TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Abstract deduction and inferential models for type theory

Information and Computation
Can HOLL outperform FOLL?

ILP'10 Proceedings of the 20th international conference on Inductive logic programming

Hi-index	0.00