Compare commits
2 Commits
96d4576c16
...
f7db24dca4
Author | SHA1 | Date | |
---|---|---|---|
f7db24dca4 | |||
07147cb424 |
1
.gitignore
vendored
1
.gitignore
vendored
@ -30,3 +30,4 @@ bin/
|
|||||||
/src/jtds-1.3.1.jar
|
/src/jtds-1.3.1.jar
|
||||||
/src/mssql-jdbc-12.6.1.jre11.jar
|
/src/mssql-jdbc-12.6.1.jre11.jar
|
||||||
/BD.iml
|
/BD.iml
|
||||||
|
/src/config.properties
|
||||||
|
@ -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("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();
|
writer.close();
|
||||||
System.out.println("Wygenerowano.");
|
System.out.println("Wygenerowano.");
|
||||||
|
@ -41,6 +41,12 @@
|
|||||||
<td>projekt_BD</td>
|
<td>projekt_BD</td>
|
||||||
<td>2024-06-20 00:00:00.0</td>
|
<td>2024-06-20 00:00:00.0</td>
|
||||||
<td>2</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>
|
</tr>
|
||||||
|
|
||||||
</tbody>
|
</tbody>
|
||||||
|
3
todo.pl
3
todo.pl
@ -1,5 +1,6 @@
|
|||||||
task('kolokwium', date(2024,06,17),1).
|
task('kolokwium', date(2024,06,17),1).
|
||||||
task('projekt_paradygmaty', date(2024,06,16),0).
|
task('projekt_paradygmaty', date(2024,06,16),0).
|
||||||
task('projekt_BD', date(2024,06,20),2).
|
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.
|
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).
|
||||||
|
Loading…
Reference in New Issue
Block a user