A Polymorphic Type System with Subtypes for Prolog.

Roland Dietrich Frank Hagl

Published in: ESOP (1988)

Keyphrases

logic programming
databases
expert systems
programming language
type checking
real time
neural network
artificial intelligence
multimedia
database systems