ITV0060 lab 2 example

% clear automatic strategy selection
clear(auto).

% use capital letters (A,X,T,...) as vars
set(prolog_style_variables).

% select the search strategy
set(hyper_res).
set(factor).
set(para_into).
set(para_from).

% select sensible amount of output
% clear(print_given). 
set(print_kept).  % this is important: prints all generated and kept clauses
assign(stats_level, 0).

% just make it stop after N secs
assign(max_seconds, 10).

formula_list(sos).

type(car1,van,1).
type(car2,van,2).
type(car3,bike,3).

% rdfs-style taxonomy

subclass(van,vehicle,4).
subclass(vehicle,thing,5).

% example rule for rdfs subclass

all X all Y all Z all P all Q 
  (type(X,Y,P) & subclass(Y,Z,Q)  -> type(X,Z,$PROD(P,Q))) .

% example query: remove if you do not want to query

% all X all Z (-type(X,thing,Z) | $answer(X,Z)).

end_of_list.