🚀 go-pugleaf

Hi !

I am implementing an automated mask layout generator for dynamic CMOS
circuits.

In the first part of my implementation, i am building a two-level logic
synthesizer in prolog. The input to the synthesizer is
the on-set and don't-care-set of minterms for multi-output
functions and the output is a set of connectivity
informations and a minimized switching graph 
which is an interconnection of transistors realizing 
the given functions. 

Now, In my program i need to do complex traversal of the graph.
I being at ease in using Prolog (Quintus Prolog), am using it
comfortably and i am finding that i can develop the code pretty
quickly.

However I have to defend the use of Quintus Prolog instead of C.

Could somebody in the net give me some advice and tips and points
for defending the use of declarative prolog instead of imperative C ?

thanx in advance

-arindam