Big Chemical Encyclopedia

Chemical substances, components, reactions, process design ...

Articles Figures Tables About

Derivation of a Logic Program

The remaining, rather technical correctness criteria are specific to every SLDNF refutation procedure. These aspects are usually a simple manual task. They can also be handled by data-flow analysis or abstract interpretation techniques that reveal, for each directionality, a correct permutation of the program clauses, and a correct permutation of the literals in the body of each clause, and sometimes the addition or deletion of literals. Multi-directionality is usually difficult to achieve. The corresponding tool of the Folon environment is described by [De Boeck and Le Charlier 90]. [Pg.62]


Stage C Derivation of a logic program (and possibly its transformation). [Pg.55]


See other pages where Derivation of a Logic Program is mentioned: [Pg.61]    [Pg.61]    [Pg.257]   


SEARCH



Logic program

Logic program derivation

Logic programming

© 2024 chempedia.info