Top "Logic-programming" questions

Logic Programming is a programming paradigm based on first order logic.

What are the main technical differences between Prolog and miniKanren, with respect to logic programming?

When I want to read up on logic programming I always stumble over two "main" ways to do it nowadays: …

prolog logic-programming minikanren
Relational/Logic Programming in Python?

I'm a longtime python developer and recently have been introduced to Prolog. I love the concept of using relationship rules …

python prolog logic-programming
What are the best uses of Logic Programming?

By Logic Programming I mean the a sub-paradigm of declarative programming languages. Don't confuse this question with "What problems can …

functional-programming prolog logic logic-programming
Prime number program for java

I'm new to programming and need help on a java program. I want my program to return all the prime …

java numbers primes logic-programming
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 …

prolog logic-programming clips datalog
Embedded Prolog Interpreter/Compiler for Java

I'm working on an application in Java, that needs to do some complex logic rule deductions as part of its …

java prolog embedded-language logic-programming constraint-programming
Breadth-First in Prolog

What is the general idea of using breadth-first over the default depth-first search scheme in Prolog? Not taking infinite branches? …

prolog breadth-first-search logic-programming
Why hasn't logic programming caught on?

As time goes by, it appears more and more like functional programming is having more of an effect on other …

programming-languages prolog logic-programming
Can you do Logic Programming in Scala?

I read somewhere that Pattern Matching like that supported by the match/case feature in Scala was actually borrowed from …

scala programming-languages prolog language-features logic-programming