Logic & Functional Programming Group

Logic programming is the art of using logic to describe knowledge in a more human-oriented way than is possible with traditional programming languages. This is achieved by describing a problem domain in terms of facts and rules written in a simple subset of first-order logic. A hidden theorem-prover can then solve a particular problem in that domain by deducing, as needed, further facts from the facts and rules stored. Thus we can program declaratively, largely in terms of what needs to be done, rather than of how to do it.

The group's objectives are:

  • To further the state of the art on the theoretical and practical aspects of developing declarative programming tools (in particular; logic programming, functional programming, constraint logic programming and logic grammars)
  • To investigate the uses of these tools for concrete Fifth Generation Computing applications, and to facilitate result transfers and collaborations with other academic units and with industry.

The Logic and Functional Programming Group was formally established in 1990 as an independent research group. It is a strong interdisciplinary group comprising members from numerous SFU units, two UBC units, and from the University of Victoria and Aizu University in Japan.

Visit website.