%%

% template.pl

%

% ,--.,--.

% ,-| |`--' ,---. ,---. ,--,--. ,---. ,---.

% ' .-. |,--.( .-' | .-. |' ,-. || .--'| .-. :

% \ `-' || |.-' `)| '-' '\ '-' |\ `--.\ --.

% `---' `--'`----' | |-' `--`--' `---' `----'

% `--'

% "To wander, to roam, move about."

%

% Copyright 2014-2017 Harm Brouwer <[email protected]>

%

% Licensed under the Apache License, Version 2.0 (the "License");

% you may not use this file except in compliance with the License.

% You may obtain a copy of the License at

%

% http://www.apache.org/licenses/LICENSE-2.0

%

% Unless required by applicable law or agreed to in writing, software

% distributed under the License is distributed on an "AS IS" BASIS,

% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.

% See the License for the specific language governing permissions and

% limitations under the License.

%%

:- use_module('../src/dispace.pl').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%% E V E N T S %%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% event(-Event)

%

% Returns an atomic event.

event(example1(arg1,arg2)).

event(example2(arg1,arg2)).

event(example3(arg3,arg2)).

event(example4(arg4,arg2)).

event(example5(arg5,arg2)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%% V I O L A T I O N S %%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% violation( StateOfAffairs)

%

% Succeeds if StateOfAffairs contains a violation of world knowledge.

violation(_) :- false.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%% P R O B A B I L I T I E S %%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% probability( Event, StateOfAffairs,-Probability)

%

% Returns the Probability of Event to be the case, given the StateOfAffairs

% constructed thus far.

probability(_,_,0.5). % <-- coin flip

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%% S E N T E N C E S %%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% sentence(?Set,?Semantics,?Sentence,[])

%

% Returns the Semantics for Sentence (or vice versa).

sentence('set',Sem) --> [], { Sem = [] }.