YAS representation bfpl(normal(term))

Language

None

---

Dependencies

• languages/BFPL/Prolog: membership
  • Representation bfpl(normal(term))
  • Goal bfplNormal:normal
  • Files: None
• languages/BFPL/Prolog: function
  • Function smallstep
  • Representation ok(bfpl(term))
  • Representation bfpl(normal(term))
  • Goal bfplSmallstep:allSteps
  • Files: None

---

Files

• languages/BFPL/samples/factorial.normal

---