S. Conery - Parallel Execution of Logic Programs - New paperback or so - X555z

Java Programs to Accompany Programming Logic and Design, Smith, Jo Ann, Good Boo

Fundamentals of Computing I: Logic, Problem Solving, Programs, and Computers...

Tests, Theory in Mathematical Logic : Truth Tables, Numeration Systems, Programs

Temporal Logic of Programs - 9783642715518

Just Enough Programming Logic and Design by Joyce Farrell (2012, Trade...

Fundamentals of Computing I: Logic, Problem Solving, Programs, and Computers...

Gupta - Parallel Execution of Logic Programs ICLP '91 Pre-Conference - X555z