extract_year
(DDMMYYYY
, YYYY
) :- YYYY
is mod(DDMMYYYY
, 10000).extract_day
(DDMMYYYY
, DD
) :- DD
is DDMMYYYY
// 1000000.extract_month
(DDMMMYYYY
, MM
) :- DDMM
is DDMMMYYYY
// 10000, MM
is mod(DDMM
, 100).
:- extract_year(12071992,Y),writeln(Y),
extract_day(12071992,D),writeln(D),
extract_month(12071992,M),writeln(M),
YYYYMMDD
is (Y
* 10000) + (M
* 100) + D
, writeln(YYYYMMDD).
ZXh0cmFjdF95ZWFyKERETU1ZWVlZLCBZWVlZKSA6LSBZWVlZIGlzIG1vZChERE1NWVlZWSwgMTAwMDApLgpleHRyYWN0X2RheShERE1NWVlZWSwgREQpIDotIEREIGlzIERETU1ZWVlZIC8vIDEwMDAwMDAuCmV4dHJhY3RfbW9udGgoRERNTU1ZWVlZLCBNTSkgOi0gRERNTSBpcyBERE1NTVlZWVkgLy8gMTAwMDAsIE1NIGlzIG1vZChERE1NLCAxMDApLgoKOi0gZXh0cmFjdF95ZWFyKDEyMDcxOTkyLFkpLHdyaXRlbG4oWSksCiAgIGV4dHJhY3RfZGF5KDEyMDcxOTkyLEQpLHdyaXRlbG4oRCksCiAgIGV4dHJhY3RfbW9udGgoMTIwNzE5OTIsTSksd3JpdGVsbihNKSwKICAgWVlZWU1NREQgaXMgKFkgKiAxMDAwMCkgKyAoTSAqIDEwMCkgKyBELAogICB3cml0ZWxuKFlZWVlNTUREKS4=