3 ms·
Most languages we use these days are imperative - we tell the compiler the steps to take in order to complete a goal. Prolog is a declarative, logic language -
by alfiedotwtf 5y ago
Most languages we use these days are imperative - we tell the compiler the steps to take in order to complete a goal.
Prolog is a declarative, logic language - we tell the compiler what the goal is, and the compiler works out the steps to take in order to complete that goal.