Create knowledge_base.pl

knowledge_base.pl

@@ -0,0 +1,194 @@
+% Entity types
+program('SSI').
+law('PRWORA').
+law('P.L._105-306').
+law('Noncitizen_Benefit_Clarification_and_Other_Technical_Amendments_Act_of_1998').
+law('INA').
+law('NACARA').
+law('HRIFA').
+law('CAA66').
+law('Refugee_Education_Assistance_Act_of_1980').
+alien_category('Qualified_Alien').
+alien_category('Nonqualified_Alien').
+alien_category('LAPR').
+ethnicity('American_Indian').
+ethnicity('Amerasian_Immigrant').
+organization('Federally_Recognized_Indian_Tribe').
+organization('U.S._Armed_Forces').
+status('PRUCOL').
+status('Refugee').
+status('Asylee').
+status('Deportation_Withheld').
+status('Removal_Withheld').
+status('Conditional_Entrant').
+status('Cuban_Haitian_Entrant').
+status('Parolee').
+status('Battered_Alien').
+status('Compact_Of_Free_Association_States_Citizen').
+condition('Blind').
+condition('Disabled').
+time_period('7_Years').
+
+% SSI eligibility requirements for aliens
+eligibility_requirement('SSI', 'Qualified_Alien').
+eligibility_requirement('SSI', 'Exception_Condition').
+
+% PRWORA applicability
+applies_to('PRWORA', 'SSI', 'Alien_Applicants').
+applies_to('INA', 'Refugee', 'Section_207').
+applies_to('INA', 'Asylee', 'Section_208').
+applies_to('INA', 'Deportation_Withheld', 'Section_243_h').
+applies_to('INA', 'Removal_Withheld', 'Section_241_b_3').
+applies_to('INA', 'Conditional_Entrant', 'Section_203_a_7').
+applies_to('INA', 'Parolee', 'Section_212_d_5').
+
+% General SSI eligibility rule
+eligible_for_ssi(Person) :-
+    (us_citizen(Person); us_national(Person));
+    american_indian_exception(Person);
+    grandfathered_ssi_recipient(Person);
+    qualified_alien_eligible(Person).
+
+% American Indian exception
+american_indian_exception(Person) :-
+    (ethnicity(Person, 'American_Indian'),
+     born_in_canada(Person),
+     indian_blood_percentage(Person, Percentage),
+     Percentage >= 50);
+    member(Person, 'Federally_Recognized_Indian_Tribe').
+
+% Grandfathered SSI recipient
+grandfathered_ssi_recipient(Person) :-
+    receiving_ssi_before(Person, date(1979, 1, 1));
+    (not_qualified_alien(Person),
+     receiving_ssi_on(Person, date(1996, 8, 22)),
+     prucol_status_continues(Person)).
+
+% Qualified Alien eligibility
+qualified_alien_eligible(Person) :-
+    qualified_alien_status(Person),
+    (blind_or_disabled_1996(Person);
+     lawfully_residing_and_receiving_ssi_1996(Person);
+     has_40_qualifying_quarters(Person);
+     military_connection(Person);
+     time_limited_eligibility(Person)).
+
+% Blind or disabled in 1996
+blind_or_disabled_1996(Person) :-
+    lawfully_residing(Person, 'U.S.', date(1996, 8, 22)),
+    (condition(Person, 'Blind'); condition(Person, 'Disabled')).
+
+% Lawfully residing and receiving SSI in 1996
+lawfully_residing_and_receiving_ssi_1996(Person) :-
+    lawfully_residing(Person, 'U.S.', date(1996, 8, 22)),
+    receiving_ssi_on(Person, date(1996, 8, 22)).
+
+% Military connection
+military_connection(Person) :-
+    (veteran(Person, 'U.S._Armed_Forces');
+     active_duty(Person, 'U.S._Armed_Forces');
+     spouse_of_veteran_or_active_duty(Person);
+     dependent_child_of_veteran_or_active_duty(Person)).
+
+% Time-limited eligibility (7-year rule)
+time_limited_eligibility(Person) :-
+    member(Status, ['Refugee', 'Asylee', 'Deportation_Withheld', 'Removal_Withheld', 'Cuban_Haitian_Entrant', 'Amerasian_Immigrant']),
+    status_granted_within_7_years(Person, Status).
+
+% Specific alien category eligibility rules
+refugee_eligible(Person) :-
+    status(Person, 'Refugee'),
+    (blind_or_disabled_1996(Person);
+     lawfully_residing_and_receiving_ssi_1996(Person);
+     military_connection(Person);
+     status_granted_within_7_years(Person, 'Refugee')).
+
+asylee_eligible(Person) :-
+    status(Person, 'Asylee'),
+    (blind_or_disabled_1996(Person);
+     lawfully_residing_and_receiving_ssi_1996(Person);
+     military_connection(Person);
+     status_granted_within_7_years(Person, 'Asylee')).
+
+deportation_removal_withheld_eligible(Person) :-
+    (status(Person, 'Deportation_Withheld'); status(Person, 'Removal_Withheld')),
+    (blind_or_disabled_1996(Person);
+     lawfully_residing_and_receiving_ssi_1996(Person);
+     military_connection(Person);
+     status_granted_within_7_years(Person, 'Deportation_Withheld');
+     status_granted_within_7_years(Person, 'Removal_Withheld')).
+
+conditional_entrant_eligible(Person) :-
+    status(Person, 'Conditional_Entrant'),
+    (blind_or_disabled_1996(Person);
+     lawfully_residing_and_receiving_ssi_1996(Person);
+     military_connection(Person)).
+
+cuban_haitian_entrant_eligible(Person) :-
+    status(Person, 'Cuban_Haitian_Entrant'),
+    (blind_or_disabled_1996(Person);
+     lawfully_residing_and_receiving_ssi_1996(Person);
+     military_connection(Person);
+     status_granted_within_7_years(Person, 'Cuban_Haitian_Entrant')).
+
+parolee_eligible(Person) :-
+    status(Person, 'Parolee'),
+    parolee_for_at_least_1_year(Person),
+    (blind_or_disabled_1996(Person);
+     lawfully_residing_and_receiving_ssi_1996(Person);
+     military_connection(Person);
+     status_granted_within_7_years(Person, 'Cuban_Haitian_Entrant')).
+
+battered_alien_eligible(Person) :-
+    status(Person, 'Battered_Alien'),
+    (blind_or_disabled_1996(Person);
+     lawfully_residing_and_receiving_ssi_1996(Person);
+     military_connection(Person)).
+
+% Compact of Free Association States citizens are ineligible
+compact_of_free_association_states_citizen_eligible(Person) :-
+    status(Person, 'Compact_Of_Free_Association_States_Citizen'),
+    fail.
+
+% Loss of eligibility
+loses_eligibility(Person, Date) :-
+    qualified_alien_status(Person),
+    (loses_7_year_eligibility(Person, Date);
+     loses_military_connection(Person, Date);
+     loses_40_quarters(Person, Date)).
+
+% Helper predicates (to be defined elsewhere)
+us_citizen(_).
+us_national(_).
+ethnicity(_, _).
+born_in_canada(_).
+indian_blood_percentage(_, _).
+member(_, _).
+receiving_ssi_before(_, _).
+not_qualified_alien(_).
+receiving_ssi_on(_, _).
+prucol_status_continues(_).
+qualified_alien_status(_).
+qualified_alien_status(_, _).
+lawfully_residing(_, _, _).
+blind(_).
+disabled(_).
+has_40_qualifying_quarters(_).
+veteran(_, _).
+active_duty(_, _).
+spouse_of_veteran_or_active_duty(_).
+dependent_child_of_veteran_or_active_duty(_).
+status_granted_within_7_years(_, _).
+nationality(_, _).
+adjusted_status_under(_, _).
+loses_7_year_eligibility(_, _).
+loses_military_connection(_, _).
+loses_40_quarters(_, _).
+parolee_for_at_least_1_year(_).
+condition(_, _).
+status(_, _).
+
+% Define the person
+us_citizen(john_doe).
+lawfully_residing(john_doe, 'U.S.', date(1996, 1, 1)). % Born on January 1, 1996
+condition(john_doe, 'Blind').