Prolog Erhalten Sie die Unterschiede in Tagen zwischen zwei Daten

Question

Ich habe versucht, 2 Daten in Prolog zu vergleichen.

Die Termine Format ist Datum (YYYY, MM, DD)

ex: (2016,04,21).

Ich möchte zwei Daten vergleichen und wissen, ob die Differenz (in Tagen) zwischen diesen Daten größer als 15 Tage (2 Wochen) ist.

%dateDifference(number_of_day, date_no1, date_no2). 
dateDifference(35, date(2003,8,16), date(2003,9,20)). 

Answer 1

die Differenz in Tagen zwischen zwei Daten-Computing kann einfache oder schwierige je nach Kalender und auf den abgedeckten Perioden sein. Unter der Annahme des Gregorianischen Kalenders besteht die übliche Lösung darin, die Daten in Julianische Tage zu konvertieren.Wie @mat in seinem Kommentar für SWI-Prolog erwähnt, betrachten Sie die library(julian);

https://github.com/mndrix/julian

Für eine tragbare Lösung, die mit den meisten Prolog-Systemen (einschließlich SWI-Prolog) verwendet werden kann, umfasst Logtalk eine Drittanbieter-ISO 8601-Bibliothek, die für diese Berechnungen verwendet werden kann:

http://logtalk.org/library/iso8601_0.html

Answer 2

zunächst einmal, sollten Sie die Notiz von @Boris Konto setzen, zweite, , um das Problem, Ihr Prädikat in drei Teile geteilt zu vereinfachen:

Teil 1:

• wissen, ob das Jahr ist Sprung oder gemeinsame,
• beeinflussen die Anzahl der Tage für jeden Monat,
• Schließlich folgt dieser Teil der folgenden Schuldenregel;

Code:

calcule_days([Y,M,D],Res):- 
    Res is (((Y*1461)/4)+((M*153)/5)+D). 

Teil 2:

• berechnet die Differenz zwischen den beiden Daten so
• die formula (Part1) gelten mit date1 und date2,
• berechnen die Unterschiede zwischen den beiden Ergebnissen difference_date1_date2,
• das negative Vorzeichen zu vermeiden abs(difference_date1_date2)
• hinzufügen round (result_abs_pred)

Demo-Code ein Wertansatz zu erhalten:

dateDifference(NumberOfDays,date(YEAR1,MONTH1,DAY1),date(YEAR2,MONTH2,DAY2)):- 
      ... 

Teil3:

• Prüfung, ob das Ergebnis >= 15, Ergebnis muss True/false
sein

Demo-Code:

bigger_2weeks(date(YEAR1,MONTH1,DAY1),date(YEAR2,MONTH2,DAY2)):- 
...