YAS representation ok(bl(term))
Language
Dependencies
- languages/BL: membership
- Representation ok(bl(term))
- Goal blOk:world
- Files: None
Files
- languages/BL/samples/empty.term
- languages/BL/samples/singleton.term
- languages/BL/samples/small-world.term