Mode-Directed Tabling and Applications in the YapTab System.

João Santos Ricardo Rocha

Published in: SLATE (2012)

Keyphrases

logic programming
real time
databases
artificial intelligence
high quality
viewpoint
color images
mixed mode
lower bound
pairwise
object oriented
general purpose
practical problems
bi directional
logic programming language