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

New posts in prolog

Need Help Understanding Somethings In Prolog

prolog

Flattening only one level of a list in Prolog

list prolog flatten

Minimum number of moves

prolog river-crossing-puzzle

How to identify valid bodies and convertible terms

prolog iso-prolog

All lists with three repeating elements

prolog

Worst-case exponential runtime for some special terms

prolog

prolog: subsets of length k

prolog subset

Prolog: how to do "check(a++b++c++d equals d++a++c++b) -> yes"

prolog combinatorics gnu-prolog prolog-defaulty

If satisfiable, cut before, otherwise fail

prolog

Is a predicate with variable arity acceptable in Prolog?

prolog logic

Understanding the splitting in Swi-prolog

list prolog

Does this Prolog program have a simple proof of non-halting?

prolog

matching 'connectors' and creating structure?

parsing prolog dcg

How to attach properties to terms?

prolog

Prolog: How do you iterate between two lists (nest for-loop)?

list prolog

Prolog delete an element into a given list

prolog

Prolog- How to assign an expression to variable

string prolog expression predicate

Compute a list of distinct odd numbers (if one exists), such that their sum is equal to a given number

prolog constraints clpfd

Prolog code gives two different results

list prolog

yes/no return in PROLOG query

prolog prolog-toplevel
Older Entries »