FPROLOG: A LANGUAGE TO INTEGRATE LOGIC AND FUNCTIONAL PROGRAMMING FOR AUTOMATED ASSEMBLY.

Seth Andrew Hutchinson, A. C. Kak

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The authors present FProlog, a programming language designed to act as the top level in a robot assembly system. FProlog is a logic programming language, with the ability to interface with LISP. This allows the use of a logic programming environment to construct assembly plans, while using LISP programs to interface with vision systems, world modeling systems, robot manipulators, etc. FProlog differs from hybrid logic programming languages, such as LOGLISP, in that FProlog may invoke functional programs as goals, and the functional programs may invoke FProlog's inference engine. Also, FProlog differs from traditional robot assembly languages, such as AUTOPASS, in its generality, and therefore its ability to interface with many different subsystems. As a demonstration of the applicability of FProlog, the authors present an FProlog program which is used as the top level in a robot assembly system which performs a version of the block world experiment.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherIEEE
Pages904-909
Number of pages6
ISBN (Print)0818606959
StatePublished - Jan 1 1986

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint

Dive into the research topics of 'FPROLOG: A LANGUAGE TO INTEGRATE LOGIC AND FUNCTIONAL PROGRAMMING FOR AUTOMATED ASSEMBLY.'. Together they form a unique fingerprint.

Cite this