Erinevus lehekülje "Example with weather, dates and trust" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
(Uus lehekülg: '<pre> </pre>')
 
1. rida: 1. rida:
 
<pre>
 
<pre>
 +
clear(auto).
 +
set(prolog_style_variables).
 +
set(hyper_res).
 +
set(factor).
 +
clear(print_given).
 +
set(print_kept).
 +
assign(stats_level, 0).
 +
assign(max_seconds, 10).
 +
 +
list(sos).
 +
 +
% temperature in Tallinn is -5 at day one with trust 1:
 +
% here "id1" is an id of the encoded fact
 +
 +
rdf("id1","subject","Tallinn").
 +
rdf("id1","property","temperature").
 +
rdf("id1","object","-1").
 +
rdf("id1","date",1). % 1 is today
 +
rdf("id1","trust","1"). % 1 is full trust
 +
 +
% combine the reified triplets to a fact encoding
 +
% also date and trust where
 +
% rdfdt(subject,property,object,date,trust)
 +
 +
-rdf(X,"subject",Y) | -rdf(X,"property",Z)
 +
| -rdf(X,"object",V) | -rdf(X,"date",W) |
 +
  -rdf(X,"trust",O) |
 +
  rdfdt(Y,Z,V,W,O).
 +
 +
% temperature the next day is the same as today,
 +
% but with twice smaller trust: also, do not derive
 +
% anything with trust less than 0.2
 +
 +
-rdfdt(X,"temperature",Y,U,T) | -$FLT("0.2",T) | rdfdt(X,"temperature",Y,$SUM(U,1),$FPROD(T,"0.5")).
 +
 +
% rdfd is rdf with date but no trust:
 +
 +
rdfd("Tallinn","temperature","-5",2). % tomorrow
 +
 +
rdfd("Tallinn","weatherfeature","stormy",2). % tomorrow
 +
 +
% if stormy, then also windy:
 +
 +
-rdfd(X,"weatherfeature","stormy",U) | rdfd(X,"weatherfeature","windy",U).
 +
 +
% various degrees of badness:
 +
%
 +
%clear(auto).
 +
set(prolog_style_variables).
 +
set(hyper_res).
 +
set(factor).
 +
clear(print_given).
 +
set(print_kept).
 +
assign(stats_level, 0).
 +
assign(max_seconds, 10).
 +
 +
list(sos).
 +
 +
% temperature in Tallinn is -5 at day one with trust 1:
 +
% here "id1" is an id of the encoded fact
 +
 +
rdf("id1","subject","Tallinn").
 +
rdf("id1","property","temperature").
 +
rdf("id1","object","-1").
 +
rdf("id1","date",1). % 1 is today
 +
rdf("id1","trust","1"). % 1 is full trust
 +
 +
% combine the reified triplets to a fact encoding
 +
% also date and trust where
 +
% rdfdt(subject,property,object,date,trust)
 +
 +
-rdf(X,"subject",Y) | -rdf(X,"property",Z)
 +
| -rdf(X,"object",V) | -rdf(X,"date",W) |
 +
  -rdf(X,"trust",O) |
 +
  rdfdt(Y,Z,V,W,O).
 +
 +
% temperature the next day is the same as today,
 +
% but with twice smaller trust: also, do not derive
 +
% anything with trust less than 0.2
 +
 +
-rdfdt(X,"temperature",Y,U,T) | -$FLT("0.2",T) | rdfdt(X,"temperature",Y,$SUM(U,1),$FPROD(T,"0.5")).
 +
 +
% rdfd is rdf with date but no trust:
 +
% rdfdq(subject,property,object,date)
 +
 +
rdfd("Tallinn","temperature","-5",2). % tomorrow
 +
 +
rdfd("Tallinn","weatherfeature","stormy",2). % tomorrow
 +
 +
% if stormy, then also windy:
 +
 +
-rdfd(X,"weatherfeature","stormy",U) | rdfd(X,"weatherfeature","windy",U).
 +
 +
% various degrees of badness:
 +
 +
% rdfdq is a rdf with date and qualifier:
 +
% rdfdq(subject,property,object,date,qualifier)
 +
 +
-rdfd(X,"temperature",Y,U) | -$FLT(Y,"-0") | rdfdq(X,"weatherfeature","badness",1,U).
 +
 +
-rdfd(X,"temperature",Y,U) | -$FLT(Y,"-20") | rdfdq(X,"weatherfeature","badness",2,U).
 +
 +
-rdfd(X,"temperature",Y,U) | -$FLT(Y,"0") | -rdfd(X,"weatherfeature","windy",U) | rdfdq(X,"weatherfeature","badness",3,U).
 +
 +
end_of_list.
  
 
</pre>
 
</pre>

Redaktsioon: 14. november 2016, kell 13:52

clear(auto).
set(prolog_style_variables).
set(hyper_res).
set(factor).
clear(print_given). 
set(print_kept). 
assign(stats_level, 0).
assign(max_seconds, 10).

list(sos).

% temperature in Tallinn is -5 at day one with trust 1:
% here "id1" is an id of the encoded fact

rdf("id1","subject","Tallinn").
rdf("id1","property","temperature").
rdf("id1","object","-1").
rdf("id1","date",1). % 1 is today
rdf("id1","trust","1"). % 1 is full trust

% combine the reified triplets to a fact encoding
% also date and trust where
% rdfdt(subject,property,object,date,trust)

-rdf(X,"subject",Y) | -rdf(X,"property",Z) 
| -rdf(X,"object",V) | -rdf(X,"date",W) | 
  -rdf(X,"trust",O) | 
  rdfdt(Y,Z,V,W,O).

% temperature the next day is the same as today,
% but with twice smaller trust: also, do not derive
% anything with trust less than 0.2

-rdfdt(X,"temperature",Y,U,T) | -$FLT("0.2",T) | rdfdt(X,"temperature",Y,$SUM(U,1),$FPROD(T,"0.5")).

% rdfd is rdf with date but no trust:

rdfd("Tallinn","temperature","-5",2). % tomorrow

rdfd("Tallinn","weatherfeature","stormy",2). % tomorrow

% if stormy, then also windy:

-rdfd(X,"weatherfeature","stormy",U) | rdfd(X,"weatherfeature","windy",U).

% various degrees of badness:
% 
%clear(auto).
set(prolog_style_variables).
set(hyper_res).
set(factor).
clear(print_given). 
set(print_kept). 
assign(stats_level, 0).
assign(max_seconds, 10).

list(sos).

% temperature in Tallinn is -5 at day one with trust 1:
% here "id1" is an id of the encoded fact

rdf("id1","subject","Tallinn").
rdf("id1","property","temperature").
rdf("id1","object","-1").
rdf("id1","date",1). % 1 is today
rdf("id1","trust","1"). % 1 is full trust

% combine the reified triplets to a fact encoding
% also date and trust where
% rdfdt(subject,property,object,date,trust)

-rdf(X,"subject",Y) | -rdf(X,"property",Z) 
| -rdf(X,"object",V) | -rdf(X,"date",W) | 
  -rdf(X,"trust",O) | 
  rdfdt(Y,Z,V,W,O).

% temperature the next day is the same as today,
% but with twice smaller trust: also, do not derive
% anything with trust less than 0.2

-rdfdt(X,"temperature",Y,U,T) | -$FLT("0.2",T) | rdfdt(X,"temperature",Y,$SUM(U,1),$FPROD(T,"0.5")).

% rdfd is rdf with date but no trust:
% rdfdq(subject,property,object,date)

rdfd("Tallinn","temperature","-5",2). % tomorrow

rdfd("Tallinn","weatherfeature","stormy",2). % tomorrow

% if stormy, then also windy:

-rdfd(X,"weatherfeature","stormy",U) | rdfd(X,"weatherfeature","windy",U).

% various degrees of badness:

% rdfdq is a rdf with date and qualifier:
% rdfdq(subject,property,object,date,qualifier)

-rdfd(X,"temperature",Y,U) | -$FLT(Y,"-0") | rdfdq(X,"weatherfeature","badness",1,U).

-rdfd(X,"temperature",Y,U) | -$FLT(Y,"-20") | rdfdq(X,"weatherfeature","badness",2,U).

-rdfd(X,"temperature",Y,U) | -$FLT(Y,"0") | -rdfd(X,"weatherfeature","windy",U) | rdfdq(X,"weatherfeature","badness",3,U).

end_of_list.