YAS representation bipl(store(term))

Language

None

---

Dependencies

• languages/BIPL/Prolog: membership
  • Representation bipl(store(term))
  • Goal biplStore:store
  • Files: None
• languages/BIPL/Prolog: function
  • Function bigstep
  • Representation bipl(term)
  • Representation bipl(store(term))
  • Goal biplBigstep:execute
  • Files: None
• languages/BIPL/Prolog: function
  • Function smallstep
  • Representation bipl(term)
  • Representation bipl(store(term))
  • Goal biplSmallstep:allSteps
  • Files: None

---

Files

• languages/BIPL/Prolog/div.store

---