Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in prolog

Dealing with complicated prolog loops

prolog prolog-metainterpreter

Prolog Beginner: Reverse List only once

list prolog reverse

writing context free grammar in prolog

list prolog context-free-grammar dcg

When to use phrase in Prolog?

prolog dcg

Prolog program to get an (integer) number as the sum of two integer squares, why does it not work?

prolog numbers clpfd number-theory logical-purity

What do these mean in prolog?

prolog swi-prolog

Explanation for why append/3 produces infinite number of solutions in these cases

list prolog append infinite

How to generate lists of fresh variables in Mercury like I can in Prolog?

prolog mercury

Testing a too general program

debugging prolog declarative

Converting a list into a term in Prolog

prolog

Learn Prolog Now! DCG Practice Example

prolog grammar dcg

Filter out large number from list in prolog

prolog

What is a unification algorithm?

algorithm f# functional-programming prolog unification

Call prolog predicate from python

python prolog ffi swi-prolog

Simple Prolog delete from list

prolog prolog-dif

How to create global variable in prolog

list variables prolog global reusability

Remove Ambiguity in abstract syntax in other to write DCG parser Prolog

prolog dcg left-recursion

Prolog - Search a list for an element, print the list if element is found

list prolog

Why is it that, in SWI-Prolog Version 6.4.1, current_functor/2 is false for 0-arity predicates?

prolog swi-prolog

Prolog test is always true var(sum) error

prolog constraints swi-prolog
« Newer Entries Older Entries »