Additive Interaction Nets as a Component-Based Programming Language

Satoshi Matsuoka
matsuoka@juno.ics.nitech.ac.jp

Abstract:

We claim that the additive interaction nets system, which was introduced as a generalization of Lafont's interaction nets and is a generalization of logic programming languages, is a kind of component-based programming language. In the programming language a goal clause in logic programming is replaced with a connection of several nets. We also presents a programming example.