Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language.

Published in: ILPS (1994)

Keyphrases

type checking
logic programming language
logic programming
data types
query processor
constraint logic programming
situation calculus
object model
inference rules
abstract data types
data mining