Login / Signup
Integrating Modes and Subtypes into a Prolog Type-Checker.
Yann Rouzaud
Lan Nguyen-Phuong
Published in:
JICSLP (1992)
Keyphrases
</>
knowledge base
programming language
real time
metadata
expert systems
knowledge representation
databases
video sequences
evolutionary algorithm
multiresolution
motion estimation
logic programming