#logic_programming__logicprogramming  creating a program that enables the computer to reason logically
  supertype:  computer_programming__programming__programing__computer_programing  creating a sequence of instructions to enable the computer to do something
     supertype:  creating_by_mental_acts  the act of creating something by thinking
        supertype:  creation__creative_activity  the human act of creating
           supertype:  activity  any specific activity or pursuit; "they avoided all recreational activity"
              supertype:  human_action__humanaction__act__human_activity__humanactivity  something that people do or cause to happen
                 supertype:  process__proces  situation commonly considered as making a change during some period of time
                    supertype:  situation  something that "occurs" in a real/imaginary region of time and space
                       supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                    supertype:  process_or_process_description
                       supertype:  processing_thing
                          supertype:  thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
                             supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                 supertype:  process__proces__physicalsituation  intuitively, the class of things that happen and have temporal parts or stages; examples include extended events like a football match or a race, actions like pursuing and reading, and biological processes; sumo#process is not identical to pm#situation because an instance of pm#situation is not necessarily an instance of sumo#physical
                    supertype:  situation  something that "occurs" in a real/imaginary region of time and space
                    supertype:  process_or_process_description
                    supertype:  physical__physical_thing  an entity that has a location in space-time; locations are themselves understood to have a location in space-time; click here for more details on the identical category sowa#physical_thing
                       supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

No statement uses or specializes logic_programming; click here to add one.