Re: Prolog IPA
PROLOG'S LIVE MATTERS!
May I interest the Gentleman in Mercury (Haskell as Prolog), Answer Set Programming, Lambda Prolog (see also: Uniform Proofs as a Foundation for Logic Programming or even the experimental Bedwyr?
PROLOG'S LIVE MATTERS!
May I interest the Gentleman in Mercury (Haskell as Prolog), Answer Set Programming, Lambda Prolog (see also: Uniform Proofs as a Foundation for Logic Programming or even the experimental Bedwyr?