I’ve read a book on it, as it happens. It seemed quite a useful set of schemas for generating new ideas in industrial design, but of course not a complete algorithm.
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 read a book on it, as it happens. It seemed quite a useful set of schemas for generating new ideas in industrial design, but of course not a complete algorithm.
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.