Compare commits

..

2 Commits

Author SHA1 Message Date
f7db24dca4 small fixes 2024-06-13 13:47:10 +02:00
07147cb424 small fixes 2024-06-13 13:46:25 +02:00
4 changed files with 10 additions and 2 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

@ -188,7 +188,7 @@ public class Main {
}
});
writer.write("spoznione(X) :- task(X,Y,_),date_time_stamp(Y,S),get_time(T),S<T."+System.lineSeparator());
writer.write("najwazniejsze(X,Y,Z) :- task(X, Y, Z), \\+ (task(_, _, V), V < Z)."+System.lineSeparator());
writer.write("najwazniejsze(X) :- task(X, _, Z), \\+ (task(_, _, V), V < Z)."+System.lineSeparator());
writer.close();
System.out.println("Wygenerowano.");

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).