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

New posts in prolog

How to reify Prolog's backtracking state to perform the same task as "lazy seq" from Clojure?

clojure prolog quicksort lazy-sequences reify

Typing the Y combinator

prolog lambda-calculus type-theory

RegEx Parser written in Prolog

regex prolog dcg

Is there a recommendable Prolog IDE for the Mac? [closed]

macos ide prolog

Prolog DCGs Multiple Features?

parsing prolog dcg

Cycle detection in a graph

prolog directed-graph

Integrating prolog into other environments

prolog swi-prolog

What's the difference between "false" and "no" in Prolog

prolog prolog-toplevel

Difference between logic programming and automated theorem proving

prolog theorem-proving logic-programming

PROLOG all different

prolog clpfd

Incrementing numbers in Prolog

prolog increment

Defining (mathematical) function in Prolog

prolog operators user-defined-functions

What does Prolog do if you X = f(X)?

prolog occurs-check

Predicate that pick elements which are on list twice not less not more

prolog

Intersection of two lists without duplicate elements in Prolog

list prolog duplicates

Get all possible binary trees using Prolog?

prolog binary-tree

Does Prolog need GC when the occurs check is globally enabled?

prolog swi-prolog logic-programming warren-abstract-machine occurs-check

Prolog, how to show multiple output in write()

prolog

Is an infinite list of ones sane?

list prolog cyclic iso-prolog coinduction

convert float to integer in prolog

floating-point integer prolog clpfd
« Newer Entries Older Entries »