YAS representation eipl(term)

Language

EIPL

---

Dependencies

• languages/EIPL: function
  • Function parse
  • Representation eipl(text)
  • Representation eipl(term)
  • Goal eglParser(eiplAbstract: (~>))
  • Files
    • File languages/EIPL/cs.term
    • File languages/EIPL/ls.term
• languages/EIPL: membership
  • Representation eipl(term)
  • Goal eslLanguage
  • File languages/EIPL/as.term
• languages/EIPL/Prolog: function
  • Function executeDynamic
  • Representation eipl(term)
  • Representation term
  • Goal eiplDynamic:main
  • Files: None
• languages/EIPL/Prolog: function
  • Function executeMixed
  • Representation eipl(term)
  • Representation term
  • Goal eiplMixed:main
  • Files: None
• languages/EIPL/Prolog: function
  • Function executeStatic
  • Representation eipl(term)
  • Representation term
  • Goal eiplStatic:main
  • Files: None

---

Files

• languages/EIPL/sample.term
• languages/EIPL/tests/missing-proc-dec.term
• languages/EIPL/tests/missing-var-dec.term
• languages/EIPL/tests/proc-clash.term
• languages/EIPL/tests/var-clash.term

---