YAS representation ok(bfpl(term))

Language

None

---

Dependencies

• languages/BFPL/Prolog: membership
  • Representation ok(bfpl(term))
  • Goal bfplProg:ok
  • Files: None
• languages/BFPL/Prolog: function
  • Function bigstep
  • Representation ok(bfpl(term))
  • Representation bfpl(value(term))
  • Goal bfplBigstep:evaluate
  • Files: None
• languages/BFPL/Prolog: function
  • Function smallstep
  • Representation ok(bfpl(term))
  • Representation bfpl(normal(term))
  • Goal bfplSmallstep:allSteps
  • Files: None
• languages/BFPL/Prolog: function
  • Function denotational
  • Representation ok(bfpl(term))
  • Representation bfpl(value(term))
  • Goal bfplDenotational:prog
  • Files: None

---

Files

• languages/BFPL/samples/factorial.term
• languages/BFPL/samples/power.term

---