small fixes

This commit is contained in:
s490081 2024-06-13 13:46:25 +02:00
parent 96d4576c16
commit 07147cb424
3 changed files with 9 additions and 1 deletions

1
.gitignore vendored
View File

@ -30,3 +30,4 @@ bin/
/src/jtds-1.3.1.jar
/src/mssql-jdbc-12.6.1.jre11.jar
/BD.iml
/src/config.properties

View File

@ -41,6 +41,12 @@
<td>projekt_BD</td>
<td>2024-06-20 00:00:00.0</td>
<td>2</td>
</tr>
<tr>
<td>4</td>
<td>task</td>
<td>2024-06-10 00:00:00.0</td>
<td>5</td>
</tr>
</tbody>

View File

@ -1,5 +1,6 @@
task('kolokwium', date(2024,06,17),1).
task('projekt_paradygmaty', date(2024,06,16),0).
task('projekt_BD', date(2024,06,20),2).
task('task', date(2024,06,10),5).
spoznione(X) :- task(X,Y,_),date_time_stamp(Y,S),get_time(T),S<T.
najwazniejsze(X,Y,Z) :- task(X, Y, Z), \+ (task(_, _, V), V < Z).
najwazniejsze(X) :- task(X, _, Z), \+ (task(_, _, V), V < Z).