The metalanguage Prolog and its implementation

DOI10.1007/3-540-44716-4_1MaRDI QIDQ2763626zbMATH OpenFDO

Authors Gopalan Nadathur

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240001

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• Programming with higher-order logic.
• Polymorphic lemmas and definitions in \lambdaProlog and Twelf
• A pragmatic reconstruction of λProlog
• scientific article; zbMATH DE number 2242590

Cited in

(12)

• On the effectiveness of higher-order logic programming in language-oriented programming
• The \textsc{MetaCoq} project
• Binding structures as an abstract data type
• scientific article; zbMATH DE number 4180832 (Why is no real title available?)
• scientific article; zbMATH DE number 4076581 (Why is no real title available?)
• Abstract metaprolog engine
• scientific article; zbMATH DE number 978237 (Why is no real title available?)
• A pragmatic reconstruction of λProlog
• Polymorphic lemmas and definitions in \lambdaProlog and Twelf
• Logic Programming
• Fifty Years of Prolog and Beyond
• A lambda term representation inspired by linear ordered logic

This page was built for publication: The metalanguage \(\lambda\)Prolog and its implementation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763626)