1. for CS 561, Spring 2012Instructors: Profs. Liang Huang and Kenji Sagae{liangh,sagae}@uscTA: Harris Chiu based on J. R. Fisher’s tutorial (Pomona College):http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html#2Course…
Prolog Tim Finin University of Maryland Baltimore County UMBC an Honors University in Maryland Syllogisms “Prolog” is all about programming in logic. Socrates is a man.…