Login / Signup
A Pragmatic Type Concept for Prolog Supporting Polymorphism, Subtyping, and Meta-Programming.
Christoph Beierle
Reinhold Kloos
Gregor Meyer
Published in:
Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
</>
programming language
programming paradigms
logic programming
general purpose
meta level
knowledge base
information systems
data mining
metadata
expert systems
database
information retrieval
concept learning
computer programming
constraint logic programming
functional programming
real time