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

New posts in prolog

Mrs. Rosencrantz' Jess query (a Zebra Puzzle) expressed in Prolog

prolog zebra-puzzle

Prolog - arguments are not instantiated

prolog clpfd

Counting the number of elements in a list: how affectation works

prolog clpfd

How could I have two names for the same atom in Prolog?

prolog

Defining "let expressions" in Prolog

prolog let lexical-scope

insert element in a list and return the same list updated

prolog

map function in Erlang

list lambda functional-programming erlang prolog

Efficient Mutable Graph Representation in Prolog?

performance prolog graph-theory prolog-directive-dynamic

Depth limited search in prolog (vanilla meta-interpreter)

prolog metaprogramming

Factorial in Clojure core.logic

clojure prolog logic clojure-core.logic

Small Expert System in prolog

prolog artificial-intelligence expert-system

What does the Prolog colon operator mean?

prolog

How to find out if Prolog performs Tail Call Optimization

prolog tail-recursion dcg tail-call-optimization

Intersection of two lists of variables

prolog iso-prolog

Prolog: Is f(X) = X unifiable or not?

prolog unification

Prolog programm returns yes instead of value

prolog

Prolog - finding all combinations (The product) of List of Lists (of Lists)

prolog combinations prolog-findall

Free Variable in Prolog

prolog free-variable

Question - formal language in prolog

prolog grammar dcg

How to write "a implies b or c" in Prolog

prolog
« Newer Entries Older Entries »