logic-programming
Function Returns "No Solution" Instead Of "Nothing"
I have a standard datatype representing formulae of predicate logic. A function representing a natural deduction elimination rule for disjunction might look like:[详细]
2023-04-09 08:06 分类：问答":=" and "=>" in Mercury
I recently came across this code example in Mercury: append开发者_运维知识库(X,Y,Z) :- X == [],[详细]
2023-03-25 11:32 分类：问答Cool, visually-transmissible uses of Prolog [closed]
As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references,or expertise, but this question will likely solicit debate, a[详细]
2023-02-21 16:14 分类：问答Newer programming language than Prolog for logic programming
开发者_运维百科Is there any newer language than Prolog specialized for logical programming?Mercury is nice and modern, and resembles prolog.[详细]
2023-02-05 03:40 分类：问答What type systems can prevent goal suspension in logical languages?
From section 3.13.3 of the curry tutorial: Operations that residuate are called rigid , whereas operations that narrow are called flexible. All defined operations are flexible whereas most primitiv[详细]
2023-02-04 10:54 分类：问答How does append-to-form work? (SICP's section on Logic Programming)
I am currently working through SICP\'s section on Logic Programming, but I got stuck in the examples regarding logical deductions, especially the append-to-form rules. How do they work? What I don\'t[详细]
2023-01-29 16:05 分类：问答Executing prolog code on an iPhone
I currently have the need to execute prolog code in an application I am making. I am aware that Apple probably never would allow something like this in the App Store, but that is not the intention eit[详细]
2023-01-19 17:44 分类：问答Datalog vs CLIPS vs Prolog
As many programmers I studied Prolog in university, but only very little.I understand that Prolog and Datalog are closely related, but Datalog is simpler?Also, I believe that I read that Datalog does[详细]
2023-01-19 16:55 分类：问答Help with prolog's clauses
emissionOf(alpha). em开发者_如何学JAVAissionOf(beta). detected(proton), detected(electron) :- emissionOf(alpha), emissionOf(beta).[详细]
2023-01-17 21:09 分类：问答What, if any, is wrong with this approach to declarative I/O
I\'m not sure exactly how much this falls under \'programming\' opposed to \'program language design\'. But the issue is this:[详细]
2023-01-01 23:47 分类：问答
![Interactive visualization of a graph in python [closed]](https://www.devze.com/res/2023/04-10/09/92d32fe8c0d22fb96bd6f6e8b7d1f457.gif)
加载中,请稍侯......