James H. Andrews has written:

'Logic Programming' -- subject(s): Automatic theorem proving, Logic programming, Programming languages (Electronic computers), Semantics

'Proof-Theoretic Characterisations of Logic Programming'

David Michael Ritchie Park has written:

'Set theoretic constructions in model theory' -- subject(s): Model theory, Model theoretic algebra

programming is set and develop for software &what uou want you will get output

Set/subset: Some high level programming languages are object oriented, but not all of them.

Theoretic probability is a branch of mathematics: it is not a profession.