ECL: Update, Display and Check
Here you can update the blissful ignorance model for Alice, Bob and Eve. Some examples:
- Execute Create p alice (Nmbr 6) and then evaluate Equal (PrpE p) (Nmbr 6).
- Execute Create p alice (Nmbr 6) :- Open bob :- Announce (PrpF p) and then evaluate K bob (PrpF p)
- Execute Open alice :- Open bob and evaluate K alice (L bob)
- Execute Open bob :- Open alice and evaluate K alice (L bob)
To show/hide the full syntax specification, click here
AgentSymbol : alice | bob | eve
Exp : PrpE ( Prp ) | PrpE Prp | Nmbr N
Form : Top | PrpF ( Prp ) | PrpF Prp | Conj [ FormList ] | Neg ( Form ) | Neg Form
| Equal ( Exp ) ( Exp ) | L AgentSymbol | K AgentSymbol ( Form ) | G Form
Com : Open AgentSymbol | Close AgentSymbol | Com :- Com | ( Com ) :- Com
| Create Prp AgentSymbol ( Exp ) | Announce ( Form )
FormList : Form | Form , FormList