论文信息 - Logic Programming with Macro Connectives

Logic Programming with Macro Connectives

Logic programming such as Prolog is often sequential and slow because each execution step processes only a single, micro connective. To fix this problem, we propose to usemacro connectives as the means of improving both readability and performance. keywords: Prolog, macro connectives, synthetic connectives.

Keehang Kwon

[1] Giorgi Japaridze,et al. Introduction to computability logic , 2003, Ann. Pure Appl. Log..

[2] Dale Miller,et al. Logic Programming in a Fragment of Intuitionistic Linear Logic , 1994, Inf. Comput..

[3] Gopalan Nadathur,et al. Uniform Proofs as a Foundation for Logic Programming , 1991, Ann. Pure Appl. Log..

[4] Ekaterina Komendantskaya,et al. On uniform proof-theoretical operational semantics for logic programming , 2005 .

[5] Patrick Lincoln,et al. Linear logic , 1992, SIGA.

[6] Dale Miller,et al. A Logical Analysis of Modules in Logic Programming , 1989, J. Log. Program..