关键词: 声明式编程, cplus2asp 求解器, C+语言

Abstract:  The traditional programming method is rigid and inflexible to implement the programmers’thoughts,
and lacks reasoning ability. And it changes greatly when code modification is needed, the expandability is poor.
A new programming language action language C+ which is a declarative programming method is made use of
to represent and solve issues. Taking the pouring problem as an example, the main rules and query are
represented by C+, then call the cplus2asp to reason automatically. The experiment certifies that the syntax of
C+ language is simple and the solving process has the ability of automatic reasoning, it can add or delete
statements arbitrarily without affecting the execution of other statements, having high expandability.

Key words: cplus2asp analyzer, C+ language, declarative programming