🎯:-🤔

#declarative programming #goal oriented #backward chaining #prolog syntax #specification

💻:-💡.

#prolog syntax #rule definition #logic programming language #implication