Provided is a ladder program retrieval device that includes: search condition specification unit for specifying, as search conditions, a plurality of signals and a logical operation relationship between any two signals included in the plurality of signals; search signal presence determination unit for determining, for each of the plurality of ladder circuits included in the ladder program, whether the ladder circuit includes all of the plurality of signals specified in the search conditions; and search logic presence determination unit for determining, for each of the ladder circuits determined by the search signal presence determination unit to include all of the signals specified in the search conditions, whether or not the ladder circuit includes the logical operation relationship.