A Parameterised Module System for Constructing Typed Logic Programs

The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the language Godel which is a logic programming language which already has a simple type and module system. The module system described here ex­ tends the Godel module system so as to include parameterised modules. In particular, this ex­ tended system allows general purpose predi­ cates that depend on facts and rules for specific applications to be defined in modules that are independent of their applications.

• Type: Conference
• Year: 1993
• Where: IJCAI
• Authors: Patricia M. Hill
• Keywords: Godel Module, IJCAI 1993, IJCAI 2007, Logic Programming, Logic Programming Language