A TOOL FOR REMOVING UNUSED ARGUMENTS FROM LOGIC PROGRAMS AUTOMATICALLY
2010 ◽
Vol 19
(01)
◽
pp. 39-63
Keyword(s):
This paper studies the problem of removing unused arguments from logic programs which have been constructed by a schema-based method. Our schema-based method constructs logic programs semi-automatically. These programs have clear structure which depicts the design decisions that have been taken for their construction. On the other hand, these programs have unused arguments. We propose a method that automatically removes the unused arguments from such programs. This method is based on fold-unfold transformations. We have developed a tool which implements our method and evaluates the initial and the transformed programs. This logic program transformation tool is presented as well.
2004 ◽
Vol 4
(3)
◽
pp. 355-369
Keyword(s):
1993 ◽
Vol 1
◽
pp. 91-107
◽
2017 ◽
Vol 60
◽
pp. 779-825
◽
Keyword(s):
2001 ◽
Vol 10
(03)
◽
pp. 387-406
1999 ◽
Vol 173
◽
pp. 249-254
Keyword(s):
1969 ◽
Vol 27
◽
pp. 6-7
Keyword(s):
1980 ◽
Vol 38
◽
pp. 30-33
2005 ◽
Vol 19
(3)
◽
pp. 129-132
◽
Keyword(s):