Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Properly working with sets in Prolog

list prolog set unification

SWI-Prolog rule assertion from passed List

prolog

Prolog - Custom 'if-then-else'

if-statement prolog

How to extract data to list in Prolog?

list prolog

I wonder if I can use Prolog to do resolution reasoning

math prolog logic

Method that counts the number of occurs in one list in Prolog

prolog

Prolog - recursing down family tree

prolog tree

writing prolog statement with not operator

prolog

Solving CNF using Prolog

prolog fill a list automatically with variables in loop

list variables prolog sudoku

Prolog Assignment

list prolog

Prolog recursion grammar

prolog dcg

prime numbers list for a given range prolog

prolog primes

Getting an order into predicate resolution

prolog clpfd

How to remove sub-lists in prolog?

list prolog sublist

How to remove a list from a list in prolog?

list prolog

Running Prolog in a web browser

html css prolog

Using the prolog format predicate to print to file

prolog

Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")

What's the -> operator in Prolog and how can I use it?

operators prolog