A typed functional extension of logic programming

DOI10.1007/BF03037479zbMath0741.68033OpenAlexW2072391349MaRDI QIDQ1186105

S. Singh

Publication date: 28 June 1992

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037479

zbMATH Keywords

functional languagemodularizationdata abstractionlogic languageWarren Abstract Machine

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• ML

Cites Work

• A polymorphic type system for Prolog
• A theory of type polymorphism in programming
• Equality, types, modules, and (why not?) generics for logic programming
• Unnamed Item
• Unnamed Item

This page was built for publication: A typed functional extension of logic programming