% This is the example from the paper, but disjunctions in the body are % not allowed at the moment, so they must be split. % % We use v for disjunction, but | or ; are in discussion. % We use & for conjunction and <- for implication. % The parentheses after not are not necessary when only one atom is negated. % Note that all atoms must start with a lower case letter (as in Prolog). visit_australia v visit_europe. happy <- visit_australia. happy <- visit_europe. bankrupt <- visit_australia & visit_europe. prudent <- not(visit_australia & visit_europe). disappointed <- not(visit_australia) & not(visit_europe). $v.