fork download
  1. extract_year(DDMMYYYY, YYYY) :- YYYY is mod(DDMMYYYY, 10000).
  2. extract_day(DDMMYYYY, DD) :- DD is DDMMYYYY // 1000000.
  3. extract_month(DDMMMYYYY, MM) :- DDMM is DDMMMYYYY // 10000, MM is mod(DDMM, 100).
  4.  
  5. :- extract_year(12071992,Y),writeln(Y),
  6. extract_day(12071992,D),writeln(D),
  7. extract_month(12071992,M),writeln(M),
  8. YYYYMMDD is (Y * 10000) + (M * 100) + D,
  9. writeln(YYYYMMDD).
Success #stdin #stdout #stderr 0.02s 6204KB
stdin
Standard input is empty
stdout
1992
12
7
19920712
stderr