Category:Logic programming The use of mathematical logic for computer programming Pages in category "Logic programming" The following 2 pages are in this category, out of 2 total. M Oral-History:Saburo MurogaS Oral-History:Masatoshi Shima Category: Computer science