Situation Calculus

% Solving conjunctive goals

holds((A,B),S,N) :-

holds(A,S,N),

holds(B,S,N).

Previous slide

Next slide

Back to first slide

View graphic version