prolog learing
basic assignment ckt