LMNtal as a Unifying Declarative Language: Live Demonstration.

Kazunori Ueda Norio Kato Koji Hara Ken Mizuno

Published in: ICLP (2006)

Keyphrases

declarative language
deductive databases
modeling language
robot programming
real time
data sets
databases
learning algorithm
web services
distributed systems
logic programming
query evaluation
live video
liveness detection