Ich würde Dir diesen Ansatz empfehlen (er kommt Deinem Wunsch sehr nah)
http://www.ifi.uzh.ch/req/courses/logische_programmierung/ws03/documents/Prolog_Tutorial.pdf

und hier ist ein Prologinterpreter (C#):
http://sourceforge.net/projects/cs-prolog/