Login / Signup

Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.

Jirí VyskocilPetr Stepánek
Published in: MICAI (2007)
Keyphrases
  • fully automated
  • prolog programs
  • fully automatic
  • logic programs
  • semi automated
  • manual segmentation
  • labor intensive
  • completely automated
  • knowledge representation
  • source code
  • semi automatic