Titlebook: Logic-Based Program Synthesis and Transformation; 8th International Wo Pierre Flener Conference proceedings 1999 Springer-Verlag Berlin Hei

prosperity

强制令

Expiration

PUT

Allege

Eructation

Successes in Logic Programs,ur of a program is necessary when dealing with transformation and verification of pure Prolog programs. In a previous work [.] we defined the class of noFD programs and queries which are characterized statically. We proved that a noFD query cannot have finitely failing derivations in a noFD program.

rectum

MOT