FProlog: A language to integrate logic and functional programming for automated assembly.

Seth Hutchinson, Avinash C. Kak

Browse the full ICRA paper archive.