% priklad na rozhodnuti, jestli pockat na stul v restauraci
%
attribute( alt, [ano, ne]).
attribute( bar, [ano, ne]).
attribute( paso, [ano, ne]).
attribute( hlad, [ano, ne]).
attribute( stam, [nikdo, cast, plno]).
attribute( cen, ['$', '$$', '$$$']).
attribute( dest, [ano, ne]).
attribute( rez, [ano, ne]).
attribute( typ, [mexicka, asijska, bufet, pizzerie]).
example(pockat, [alt=ano, bar=ne, paso=ne, hlad=ano, stam=cast, cen='$$$', dest=ne, rez=ano, typ=mexicka ]).
example(necekat, [alt=ano, bar=ne, paso=ne, hlad=ano, stam=plno, cen='$', dest=ne, rez=ne, typ=asijska ]).
example(pockat, [alt=ne, bar=ano, paso=ne, hlad=ne, stam=cast, cen='$', dest=ne, rez=ne, typ=bufet ]).
example(pockat, [alt=ano, bar=ne, paso=ano, hlad=ano, stam=plno, cen='$', dest=ne, rez=ne, typ=asijska ]).
example(necekat, [alt=ano, bar=ne, paso=ano, hlad=ne, stam=plno, cen='$$$', dest=ne, rez=ano, typ=mexicka ]).
example(pockat, [alt=ne, bar=ano, paso=ne, hlad=ano, stam=cast, cen='$$', dest=ano, rez=ano, typ=pizzerie]).
example(necekat, [alt=ne, bar=ano, paso=ne, hlad=ne, stam=nikdo, cen='$', dest=ano, rez=ne, typ=bufet ]).
example(pockat, [alt=ne, bar=ne, paso=ne, hlad=ano, stam=cast, cen='$$', dest=ano, rez=ano, typ=asijska ]).
example(necekat, [alt=ne, bar=ano, paso=ano, hlad=ne, stam=plno, cen='$', dest=ano, rez=ne, typ=bufet ]).
example(necekat, [alt=ano, bar=ano, paso=ano, hlad=ano, stam=plno, cen='$$$', dest=ne, rez=ano, typ=pizzerie]).
example(necekat, [alt=ne, bar=ne, paso=ne, hlad=ne, stam=nikdo, cen='$', dest=ne, rez=ne, typ=asijska ]).
example(pockat, [alt=ano, bar=ano, paso=ano, hlad=ano, stam=plno, cen='$', dest=ne, rez=ne, typ=bufet ]).
% vim: set ft=prolog: