Exploiting Implicit Parallelism in Functional Programs with SLAM.

John Sargeant Chris C. Kirkham Ian Watson

Published in: IFL (2000)

Keyphrases

functional programs
term rewriting systems
logic programs
lazy evaluation
functional language
mobile robot
stochastic grammar
simultaneous localization and mapping
dynamic environments
data mining
search space
particle filter
kalman filter