<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom" xmlns:default="http://www.w3.org/1999/xhtml">
  <title xmlns="http://www.w3.org/2005/Atom">Dobrica Pavlinušić's random unstructured stuff: Prolog</title>
  <id xmlns="http://www.w3.org/2005/Atom">https://saturn.ffzg.hr/rot13/</id>
  <link xmlns="http://www.w3.org/2005/Atom" type="text/html" rel="alternate" href="https://saturn.ffzg.hr/rot13/index.cgi?prolog"/>
  <link xmlns="http://www.w3.org/2005/Atom" type="application/atom+xml" rel="self" href="https://saturn.ffzg.hr%2C%20saturn.ffzg.hr:443/feed/workspace/rot13?page=prolog;type=Atom"/>
  <updated xmlns="http://www.w3.org/2005/Atom">2007-01-07T17:13:35Z</updated>
  <entry xmlns="http://www.w3.org/2005/Atom" xmlns:default="http://www.w3.org/1999/xhtml">
    <title xmlns="http://www.w3.org/2005/Atom">Prolog</title>
    <link xmlns="http://www.w3.org/2005/Atom" type="text/html" rel="alternate" href="https://saturn.ffzg.hr/rot13/index.cgi?prolog"/>
    <content xmlns="http://www.w3.org/2005/Atom" xmlns:default="http://www.w3.org/1999/xhtml" type="xhtml">
      <div xmlns="http://www.w3.org/1999/xhtml"><div>Creator: Dobrica Pavlinušić</div><hr/><div class="wiki">
<pre>
  % doktor obavlja                   
  doktor_obavlja('Dr1', 'pregled').
  doktor_obavlja('Dr2', 'pregled').
  doktor_obavlja('Dr2', 'masaža').
  doktor_obavlja('Dr3', 'masaža').
  doktor_obavlja('Dr3', 'uvod').
  doktor_obavlja('Stažist', 'uvod').
  
  % raspoloživost doktora            
  doktor_raspoloziv('Dr1', '8-10').  
  doktor_raspoloziv('Dr1', '10-12'). 
  doktor_raspoloziv('Dr1', '12-14'). 
  doktor_raspoloziv('Dr1', '14-16'). 
  % sredina dana
  doktor_raspoloziv('Dr2', '10-12'). 
  doktor_raspoloziv('Dr2', '12-14'). 
  % popodnevna smjena
  doktor_raspoloziv('Dr3', '12-14').
  doktor_raspoloziv('Dr3', '14-16').
  
  doktor_raspoloziv('Stažist', '8-10').
  
  % zauzeca doktora                  
  doktor_zauzet('Dr1', '8-10').
  
  %doktor_zauzet('Dr2', '12-14').
  
  % zauzeca prostora
  prostor_zauzet('soba1', '8-10').
  prostor_zauzet('soba2', '16-18').
  
  % resursi
  resurs_zauzet('EKG', '8-10', 'zauzet').
  
  % koji resursi su u kojim prostorima
  prostor_resurs('soba1', ['EKG','stol','ploča']).
  prostor_resurs('soba2', ['stol','ploča']).
  prostor_resurs('soba3', ['stol','solarij']).
  prostor_resurs('soba4', ['ploča']).
  
  % aktivnosti trebaju
  aktivnost_resurs('pregled', ['stol','EKG']). 
  aktivnost_resurs('masaža', ['stol', 'solarij']).
  aktivnost_resurs('uvod',['ploča']).
  
  % preferencije pacjenta
  preferira_vrijeme('Ivan', '8-10').
  preferira_vrijeme('Ivan', '10-12').
  preferira_vrijeme('Ivan', '12-14').
  %preferira_vrijeme('Ivan', '14-16').
  
  preferira_vrijeme('Pero', '12-14').
  preferira_vrijeme('Spavalo', '14-16').
  
  element(X,[G|_]) :-
         X == G.
  element(X,[_|R]) :-
         element(X,R).
  
  subset([],_).
  subset([G|R],X) :-
        element(G,X),subset(R,X).
  
  % koju aktivnost možemo dobiti kod koga i kada?
  aktivnost_kod_kada(AKTIVNOST, DOKTOR, KADA) :-
        doktor_obavlja(DOKTOR, AKTIVNOST),
        doktor_raspoloziv(DOKTOR, KADA),
        not( doktor_zauzet(DOKTOR, KADA) ).
  
  % koje aktivnost se mogu održati u kojem prostoru?
  aktivnost_prostor_oprema(AKTIVNOST, PROSTOR, OPREMA) :-
        aktivnost_resurs(AKTIVNOST, OPREMA),
        prostor_resurs(PROSTOR, SVAOPREMA),
        subset(OPREMA,SVAOPREMA).
  
  
  schedule(PACIJENT, DOKTOR, PROSTOR, AKTIVNOST, KADA, OPREMA) :-
        doktor_obavlja(DOKTOR, AKTIVNOST),
        doktor_raspoloziv(DOKTOR, KADA),
        not( doktor_zauzet(DOKTOR, KADA) ),
        aktivnost_resurs(AKTIVNOST, OPREMA),
        prostor_resurs(PROSTOR, SVAOPREMA),
        not( prostor_zauzet(PROSTOR, KADA) ),
        subset(OPREMA,SVAOPREMA),
        preferira_vrijeme(PACIJENT, KADA).
  
</pre>
</div>
</div>
    </content>
    <id xmlns="http://www.w3.org/2005/Atom">https://saturn.ffzg.hr/rot13/index.cgi?prolog</id>
    <author xmlns="http://www.w3.org/2005/Atom">
      <name xmlns="http://www.w3.org/2005/Atom">Dobrica Pavlinušić</name>
    </author>
    <updated xmlns="http://www.w3.org/2005/Atom">2007-01-07T17:13:35Z</updated>
  </entry>
</feed>
