tech,9-3-J82-3002,ak entirely in <term> Prolog </term> , a <term> programming language </term> based on <term> logic </term> . With
hide detail