zmonx

29 ms·

151.
by zmonx 10y ago
There are several different ways to implement such solvers on top of Prolog. One way is to simply extend the Prolog engine to handle such constraints natively . Many basic constraints are implemented in this way. In fact, you can regard
152.
by zmonx 10y ago
Great! One alternative way to reason about these rules is to recognize that these statements can be modeled as propositional formulas , which can be easily solved with Prolog by using a constraint solver over Boolean variables. For examp
153.
by zmonx 10y ago
Nice! For comparison, here is how one could approach this task in Prolog. First, let us introduce a few suitable operators , so that we can naturally state the given facts: :- op(700, xfy, and). :- op(700, xfy, ==>). :- op
154.
by zmonx 10y ago
Yes, there are several businesses that use Prolog in production. For example, please see the quotes from the SICStus page, a professional Prolog system (ISO standard compliant) with many commercial applications: https://www.sics.
155.
by zmonx 10y ago
Very, very nice formulation! You can apply the same trick to the query, i.e., you only need to write down the whole list once , if you formulate the query for example like this: ?- Vs = [GreenHouse, RedHouse, IvoryHouse, YellowHouse,
156.
by zmonx 10y ago
That's one of the most elegant Prolog formulations of this task I have seen so far. Great use of CLP(FD), especially considering that you have only started to learn this technology, as you mentioned in the other thread! I have only two
157.
by zmonx 10y ago
Personal anecdote: I once asked a retired Japanese computer scientist why the 5th generation project had failed. He replied with: "What do you mean 'failed'? All my colleagues who worked on this project have become professors
158.
by zmonx 10y ago
This appears to be limited to explaining the server side, which is only a tiny fraction of actual web applications. In practice, the client side is often equally important, or even more so than the server side.
159.
by zmonx 10y ago
Here's the link ("Prolog Web Applications"): https://www.metalevel.at/prolog/web.html
160.
by zmonx 11y ago
I think this comment hits the nail on the head. In my opinion, Prolog is now starting to become interesting. In the Prolog community, the last few decades were spent on researching efficient Prolog implementation techniques and important fe
161.
by zmonx 11y ago
Prolog is a very versatile language, and despite many attempts to build a logic programming language that is equally powerful and convenient to use as Prolog, so far Prolog remains the most popular logic programming language by a huge margi
162.
by zmonx 12y ago
See also the SWI-Prolog example: http://swish.swi-prolog.org/example/houses_puzzle.pl
163.
by zmonx 12y ago
SWI-Prolog implements a variant of the ZIP, not the WAM.
164.
by zmonx 12y ago
Some examples: Combinatorial optimization problems, timetabling tasks, reasoning engines, rule-based systems for the medical industry, recommender systems etc.