I’ve peeked at your profile and the linked page. See, I’m currently enrolled into linguistics program, and I was considering dedicating some time to The Art of Prolog, so I’ve researched what Prolog software there is and wasn’t especially impressed. Could I maybe ask you for advice as to what kind of side project Prolog is suited for? I’m familiar with Lisp and C and I’ve dabbled with Haskell and Coq, and I would really really like to write something at least marginally useful.
I think Prolog, like Lisp, is mainly useful for being a different way of thinking about computation. The only practical industrial uses of Prolog I’ve ever heard of are some niche expert systems, a tool for exploring Unix systems for security vulnerabilities, and an implementation of part of the Universal Plug and Play protocol.
I’ve peeked at your profile and the linked page. See, I’m currently enrolled into linguistics program, and I was considering dedicating some time to The Art of Prolog, so I’ve researched what Prolog software there is and wasn’t especially impressed. Could I maybe ask you for advice as to what kind of side project Prolog is suited for? I’m familiar with Lisp and C and I’ve dabbled with Haskell and Coq, and I would really really like to write something at least marginally useful.
I think Prolog, like Lisp, is mainly useful for being a different way of thinking about computation. The only practical industrial uses of Prolog I’ve ever heard of are some niche expert systems, a tool for exploring Unix systems for security vulnerabilities, and an implementation of part of the Universal Plug and Play protocol.