YAS representation bfpl(value(term))

Language

None

---

Dependencies

• languages/BFPL/Prolog: membership
  • Representation bfpl(value(term))
  • Goal intOrBool:value
  • 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 denotational
  • Representation ok(bfpl(term))
  • Representation bfpl(value(term))
  • Goal bfplDenotational:prog
  • Files: None

---

Files

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

---