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'

Isaac Balbin has written:

'Logic programming' -- subject(s): Bibliography, Logic programming

Akikazu Takeuchi has written:

'Parallel logic programming' -- subject(s): Parallel logic programming

Ladder logic is the programming scheme used when programming most control systems, such as robotic controllers.

It's most common when programming a PLC (Programmable Logic Controller)

James Messinger has written:

'The logic and design of computer programs' -- subject(s): Logic programming, Computer programming