PPT Slide
Context
Input
Output
OutConstraints
InConstraints
Sort
xs: ListOf Integer;
IntegerSort
ys: ListOf Integer;
Examples for Specification in LARKS (1)
le(length(xs),100);
before(x,y,ys) :- ge(x,y);
before(x,y,ys) :- preceeds(x,y);
in(x,ys) :- in(x,xs);
Context
Input
Output
OutConstraints
InConstraints
Sorting
xs: ListOf Real|String;
GenericSort
ys: ListOf Real|String;
before(x,y,ys) :- ge(x,y);
before(x,y,ys) :- preceeds(x,y);
in(x,ys) :- in(x,xs);
Constraints: set of definite program clauses/goals (Horn clauses)
Previous slide
Next slide
Back to first slide
View graphic version