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/mssql-jdbc-12.6.1.jre11.jar
|
||||
/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("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.");
|
||||
|
@ -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>
|
||||
|
3
todo.pl
3
todo.pl
@ -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).
|
||||
|
Loading…
Reference in New Issue
Block a user