ITV0060 lab 2 example: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 7. rida: | 7. rida: | ||
% select the search strategy | % select the search strategy | ||
set(hyper_res). | set(hyper_res). | ||
set(factor). | set(factor). | ||
set(para_into). | set(para_into). | ||
set(para_from). | set(para_from). | ||
% select sensible amount of output | % select sensible amount of output | ||
clear(print_given). | clear(print_given). | ||
set(print_kept). % this is important: prints all generated and kept clauses | set(print_kept). % this is important: prints all generated and kept clauses | ||
| 24. rida: | 19. rida: | ||
% just make it stop after N secs | % just make it stop after N secs | ||
assign(max_seconds, 10). | assign(max_seconds, 10). | ||
formula_list(sos). | formula_list(sos). | ||
| 33. rida: | 25. rida: | ||
type(car2,van,2). | type(car2,van,2). | ||
type(car3,bike,3). | type(car3,bike,3). | ||
% rdfs-style taxonomy | |||
subclass(van,vehicle,4). | subclass(van,vehicle,4). | ||
subclass(vehicle,thing,5). | subclass(vehicle,thing,5). | ||
% example rule for rdfs subclass | |||
all X all Y all Z all P all Q | all X all Y all Z all P all Q | ||
| 42. rida: | 38. rida: | ||
% example query: remove if you do not want to query | % example query: remove if you do not want to query | ||
all X all Z (-type(X,thing,Z) | $answer(X,Z)). | % all X all Z (-type(X,thing,Z) | $answer(X,Z)). | ||
end_of_list. | end_of_list. | ||
</pre> | </pre> | ||
Redaktsioon: 14. märts 2011, kell 12:46
% clear automatic strategy selection and preprocessing 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.