scientific article; zbMATH DE number 7453101
From MaRDI portal
Publication:5020543
No author found.
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.08232
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Data type inference for logic programming ⋮ Typed SLD-resolution: dynamic typing for logic programming
Uses Software
Cites Work
- A polymorphic type system for Prolog
- A bottom-up polymorphic type inference in logic programming
- A theory of type polymorphism in programming
- An overview of Ciao and its design philosophy
- Efficient run-time type checking of typed logic programs
- The Semantics of Predicate Logic as a Programming Language
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Functional Logic Programming: From Theory to Curry
- A three-valued semantics for logic programmers
- Towards Typed Prolog
- On notation for ordinal numbers
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
