Decomposed logic program

A Logic Program is decomposed into relations. There are following benefits because of that:

• Programs become modular, clauses can be reused in different programs.
• Clauses can be easily modified, added or removed.
• The structure of clause is given explicitly which enables further formal analysis of theoretical properties such as completeness^9.3.
• Modular programming is enabled.

Concerning the modular design. Programs are decomposed at the clause level. The same clause may be shared by more than one program, therefore it can be reused. There are the following programming and usage scenarios available then:

• The user can write an entire Prolog program to create a Jelly View, and query it.
• The user can assemble the program from the existing clauses to create a new Jelly View, and query it.
• The user can query an existing Jelly View.

Concerning easy modification. The program is decomposed and stored into relations. SQL is used to add, remove or alter the program then. The same method is used to access both Extensional and Intensional Knowledge.