1、Prolog Cafe：Prolog 到 Java 的高效翻译系统

Prolog Cafe：Prolog 到 Java 的高效翻译系统

1. 知识管理与声明式编程概述

知识只有在正确的时间、地点和人手中才能发挥力量，结构化、可重复的知识收集、传输和应用方法被称为知识管理。声明式编程追求“按意愿编程”的理想，用户只需说明需求，计算机就能找出实现方法，它分为人类编写需求的方法和计算机实现需求的算法两部分。

如今，知识管理已成为经济关键因素，声明式编程也从有趣的形式逻辑模型发展为计算机科学的强大工具。声明式编程有望成为记录和实现基于知识的企业的捷径。

2. 会议与论文介绍

相关论文是从 2005 年 10 月在日本福冈早稻田大学举行的第 16 届声明式编程与知识管理应用国际会议（INAP 2005）上挑选出来的，反映了知识管理和声明式编程的研究现状和应用情况，为相关技术的引入提供了参考。

3. 会议组织情况

3.1 执行委员会

职位	姓名	所属机构
会议主席	Oskar Bartenstein	IF Computer, Japan
程序联合主席	Masanobu Umeda	九州工业大学, Japan
程序联合主席