Modula--Prolog: A Software Development

Modula--Prolog draws on the strengths of the general-purpose Modula-2 and the highly interactive Prolog to create a deductive component that can process symbolic and procedural knowledge.