YAS representation bnl(formula(term))

Language

None

---

Dependencies

• languages/BNL/Prolog: membership
  • Representation bnl(formula(term))
  • Goal bnlFormula:formula
  • Files: None
• languages/BNL/Prolog: function
  • Function convert
  • Representation bnl(tokens(term))
  • Representation bnl(formula(term))
  • Goal dcgParser(bnlTextToFormula:number)
  • Files: None
• languages/BNL/Prolog: function
  • Function convert
  • Representation bnl(term)
  • Representation bnl(formula(term))
  • Goal bnlTermToFormula:number
  • Files: None
• languages/BNL/Prolog: function
  • Function evaluate
  • Representation bnl(formula(term))
  • Representation bnl(value(term))
  • Goal bnlEvaluator:evaluate
  • Files: None

---

Files

• languages/BNL/samples/5comma25.formula

---