» Research » Groups » Logic And Functional Programming Group
SFU Logic And Functional Programming Group
GenesisThe Logic and Functional Programming Group was formally established in 1990 as an independent research group under SFU's Policy AC-35. It is a strongly interdisciplinary group comprising members from six SFU units (Computing Sciences, Linguistics, Mathematics, Centre for Systems Science, Education, Engineering), two UBC units (Linguistics, Computinc Sciences), and from the University of Victoria and Aizu University in Japan.
AreaLogic 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. Logic programming has become the heart of the Fifth Generation Computing project.
ObjectivesThe group's objectives are:
Specific Research Interests
Building on existing logic or functional programming tools, our group develops new tools (e.g., logic grammars), investigates their theoretical and implementation aspects, and develops Fifth Generation software in areas such as natural language processing (front ends to knowledge-based systems, analysis, generation, and translation), linguistic theory automation, deductive databases, knowledge representation, constraint logic programming, hardware design, probabilistic systems, and expert systems. Related areas, such as neural networks and parallelism, are also investigated.
Collaborations Group members have a solid record of successful collaboration with industry, including a record-setting research contract with IBM Canada for generating machine-readable error messages, a research contract with the French government for the automatic consultation of industrial catalogues in French, and two research contracts with the Canadian Workplace Automation Research Centre in Laval for the automatic translation of agricultural reports. The group also has collaboration agreements with european universities. For discussing further potential collaborations, please contact the group's Director, Dr. Verónica Dahl, at (604) 291-3372.
The group's laboratory, located in ASB 10855, contains a SUN Sparcstation IPX which runs Quintus Prolog, a MacIntosh LCII which runs ALS and LPA Prolog, and IBM AT personal computer, and several video terminals. Both the SPARCStation and the Mac were purchased with NSERC, CSS and PRG Equipment Grants. The IBM AT and the terminals were purchased with funds from an IBM SUR grant and an NSERC Operating Grant, respectively.
The group gratefully acknowledges financial support from NSERC, CSS and PRG in the form of infrastructure and equipment grants, and is also grateful to SFU and CSS for the use of their facilities.