On using Eureka properties for transforming generate and test logic programs

K. Bsaies

doi:10.1109/CMPEUR.1992.218475

Back

Conference proceeding

On using Eureka properties for transforming generate and test logic programs

K. Bsaies

CompEuro 1992 Proceedings Computer Systems and Software Engineering, pp.113-114

1992

DOI: https://doi.org/10.1109/CMPEUR.1992.218475

Abstract

Artificial intelligence

Character generation

Interleaved codes

Logic testing

Mechanical factors

Three transformation techniques to generate and test logic programs are presented. The key idea in transforming such programs is that the tester should prune incorrect search trees by interleaving testers into generators immediately after the testers become active. For this purpose, mode input-output analysis makes it possible to avoid useless computations. The basic idea is to replace the test made on output parameters by a test of input parameters and to rearrange the atoms in the body of clauses.< >

Metrics

1 Record Views

Details

Title: On using Eureka properties for transforming generate and test logic programs
Creators - without role: K. Bsaies - Délégation Centre-Est
Publication Details: CompEuro 1992 Proceedings Computer Systems and Software Engineering, pp.113-114
Publisher: IEEE Comput. Soc. Press
Identifiers: 9925580008331
Academic Unit: Prince Sattam Bin Abdulaziz University
Language: English
Resource Type: Conference proceeding